Oli Scherer f3b7dd6388 Add AliasKind::Weak for type aliases. ...

Only use it when the type alias contains an opaque type.

Also does wf-checking on such type aliases.

2023-06-16 19:39:48 +00:00

..

chalk

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

codegen.rs

Make TraitEngine::new use the right solver, add compare mode

2023-06-06 18:43:20 +00:00

dropck_outlives.rs

Uplift complex type ops back into typeck so we can call them locally

2023-05-27 04:13:44 +00:00

evaluate_obligation.rs

New trait solver is a property of inference context

2023-06-06 18:43:06 +00:00

implied_outlives_bounds.rs

Uplift complex type ops back into typeck so we can call them locally

2023-05-27 04:13:44 +00:00

lib.rs

s/drain_filter/extract_if/ for Vec, Btree{Map,Set} and LinkedList

2023-06-14 09:28:54 +02:00

normalize_erasing_regions.rs

Move expansion of query macros in rustc_middle to rustc_middle::query

2023-05-15 08:49:13 +02:00

normalize_projection_ty.rs

Add AliasKind::Weak for type aliases.

2023-06-16 19:39:48 +00:00

type_op.rs

Uplift complex type ops back into typeck so we can call them locally

2023-05-27 04:13:44 +00:00