Oli Scherer 8206cffc48 Merge check_mod_impl_wf and check_mod_type_wf		2024-03-07 06:27:09 +00:00
..
codegen.rs	Merge check_mod_impl_wf and check_mod_type_wf	2024-03-07 06:27:09 +00:00
dropck_outlives.rs	dropck_outlives check generator witness needs_drop	2023-11-02 17:20:13 +01:00
evaluate_obligation.rs	Fix clippy::needless_borrow in the compiler	2023-11-21 20:13:40 +01:00
implied_outlives_bounds.rs	Correctly handle normalization in implied bounds	2024-01-17 21:27:34 -05:00
lib.rs	Invert diagnostic lints.	2024-02-06 13:12:33 +11:00
normalize_erasing_regions.rs	add unused NormalizesTo predicate	2023-12-07 17:52:51 +01:00
normalize_projection_ty.rs	Rename some normalization-related items	2024-02-20 17:30:49 +01:00
type_op.rs	Migrate predicates_of and caller_bounds to Clause	2023-06-26 23:12:03 +00:00