Matthias Krüger 01ccde5ec8

Rollup merge of #100095 - jackh726:early-binder, r=lcnr ...

More EarlyBinder cleanups

Each commit is independent

r? types

2022-08-04 22:25:04 +02:00

..

chalk

Add bound_predicates_of and bound_explicit_predicates_of

2022-08-02 22:44:08 -04:00

dropck_outlives.rs

Remove crate visibility usage in compiler

2022-05-20 20:04:54 -04:00

evaluate_obligation.rs

add tests and comment

2022-07-27 14:43:46 +03:00

implied_outlives_bounds.rs

Use TraitEngine in more places that don't specifically need FulfillmentCtxt::new_in_snapshot

2022-07-26 04:55:06 +00:00

lib.rs

Fully stabilize NLL

2022-06-03 17:16:41 -04:00

normalize_erasing_regions.rs

implement valtrees as the type-system representation for constant values

2022-06-14 16:07:11 +02:00

normalize_projection_ty.rs

Remove crate visibility usage in compiler

2022-05-20 20:04:54 -04:00

type_op.rs

add tests and comment

2022-07-27 14:43:46 +03:00