fee1-dead eba419195c

Rollup merge of #110345 - nnethercote:rm-Super-impls-for-Region, r=compiler-errors ...

Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.

These traits exist so that folders/visitors can recurse into types of interest: binders, types, regions, predicates, and consts. But `Region` is non-recursive and cannot contain other types of interest, so its methods in these traits are trivial.

This commit inlines and removes those trivial methods.

r? `@compiler-errors`

2023-04-16 18:55:38 +08:00

..

chalk

Remove TypeSuper{Foldable,Visitable} impls for Region.

2023-04-16 09:11:43 +10:00

codegen.rs

Separate trait selection from ambiguity reporting.

2023-01-27 18:57:10 +00:00

dropck_outlives.rs

explicit adt_dtorck_constraint for ManuallyDrop

2023-04-14 15:44:05 +02:00

evaluate_obligation.rs

Convert predicates into Predicate in the Obligation constructor

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

implied_outlives_bounds.rs

Rename AliasEq -> AliasRelate

2023-03-23 05:56:40 +00:00

lib.rs

Update implied_outlives_bounds to properly register implied bounds behind normalization

2023-02-09 21:08:11 -05:00

normalize_erasing_regions.rs

Rename AliasEq -> AliasRelate

2023-03-23 05:56:40 +00: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

fix ICE

2023-04-08 10:18:48 +00:00