Oli Scherer 1163aa7e72 Remove opaque type obligation and just register opaque types as they are encountered. ...

This also registers obligations for the hidden type immediately.

2022-03-28 16:57:45 +00:00

..

chalk

Remove opaque type obligation and just register opaque types as they are encountered.

2022-03-28 16:57:45 +00:00

dropck_outlives.rs

Swap DtorckConstraint to DropckConstraint

2022-03-24 20:35:35 +01:00

evaluate_obligation.rs

…

implied_outlives_bounds.rs

Remove opaque type obligation and just register opaque types as they are encountered.

2022-03-28 16:57:45 +00:00

lib.rs

Adopt let else in more places

2022-02-19 17:27:43 +01:00

normalize_erasing_regions.rs

Remove opaque type obligation and just register opaque types as they are encountered.

2022-03-28 16:57:45 +00:00

normalize_projection_ty.rs

Remove generalization over projection

2022-01-28 00:25:36 +00:00

type_op.rs

Removed in_band_lifetimes from rustc_traits

2021-12-30 13:59:19 -05:00