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

…

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

…

type_op.rs

…