Kyle Matsuda f29a334c90 change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_ref query; add EarlyBinder to impl_trait_ref in metadata

2023-01-14 00:29:56 -07:00

..

chalk

change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_ref query; add EarlyBinder to impl_trait_ref in metadata

2023-01-14 00:29:56 -07:00

codegen.rs

Assert defining anchor is set in take_opaque_types

2023-01-09 18:14:28 +00:00

dropck_outlives.rs

Fix uninlined_format_args for some compiler crates

2023-01-05 19:01:12 +01:00

evaluate_obligation.rs

Convert predicates into Predicate in the Obligation constructor

2022-11-16 09:25:19 +00:00

implied_outlives_bounds.rs

Introduce PredicateKind::Clause

2022-11-25 00:04:54 -03:00

lib.rs

Move some suggestions from error_reporting to error_reporting::suggest

2022-12-08 05:58:30 +00:00

normalize_erasing_regions.rs

Fix uninlined_format_args for some compiler crates

2023-01-05 19:01:12 +01:00

normalize_projection_ty.rs

(almost) Always use ObligationCtxt when dealing with canonical queries

2022-10-27 15:43:33 +00:00

type_op.rs

make ascribe_user_type a TypeOp

2023-01-07 13:41:41 +03:00