tree 71ae3d9881ca3f2c7bd3c7c2325736607064a490
parent 28ce5883210da1ed90cda9b7da3d0b16e2794e69
author Michael Goulet <michael@errs.io> 1716304074 -0400
committer Michael Goulet <michael@errs.io> 1716325245 -0400

Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from Interner