Niko Matsakis b7b3d2cee0 generalize the outlives obligation code ...

The code now accepts `Binder<OutlivesPredicate>`
instead of just `OutlivesPredicate` and thus exercises
the new, generalized `IfEqBound` codepaths. Note though
that we never *produce* Binder<OutlivesPredicate>, so we
are only testing a subset of those codepaths that excludes
actual higher-ranked outlives bounds.

2022-06-15 11:47:05 -04:00

..

src

generalize the outlives obligation code

2022-06-15 11:47:05 -04:00

Cargo.toml

Migrate to 2021

2021-09-20 22:21:42 -04:00