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