Replace explicit use of Inj instances by inj (!132) · Merge requests · Iris / stdpp

"git-rts@gitlab.mpi-sws.org:iris/lambda-rust.git" did not exist on "f30f9831ec6eda189003e0a010f1c0a3831bc6f4"

Merged Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:inj_typeclass into master 5 years ago

Replace explicit use of Inj instances by inj