Skip to content

Replace explicit use of Inj instances by inj

Paolo G. Giarrussorequested to merge
Blaisorblade/iris:inj-typeclass into master

Same rationale as stdpp!132 (merged).

Merge request reports