Skip to content

Replace explicit use of Inj instances by inj

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

Same rationale as stdpp!132 (merged).

Merge request reports