Michael Goulet 91274c84b9 Uplift TypeRelation and Relate

2024-06-06 07:50:19 -04:00

..

assembly

Rollup merge of #125750 - compiler-errors:expect, r=lcnr

2024-06-04 08:25:48 +01:00

eval_ctxt

Uplift TypeRelation and Relate

2024-06-06 07:50:19 -04:00

inspect

Basic removal of Ty from places (boring)

2024-06-05 22:25:38 +01:00

normalizes_to

Basic removal of Ty from places (boring)

2024-06-05 22:25:38 +01:00

alias_relate.rs

EvalCtxt::tcx() -> EvalCtxt::interner()

2024-05-28 10:45:51 -04:00

fulfill.rs

Nits and formatting

2024-06-03 10:02:08 -04:00

mod.rs

Fully implement ConstArgHasType

2024-06-05 22:25:41 +01:00

normalize.rs

Basic removal of Ty from places (boring)

2024-06-05 22:25:38 +01:00

project_goals.rs

EvalCtxt::tcx() -> EvalCtxt::interner()

2024-05-28 10:45:51 -04:00

search_graph.rs

add logging to search graph

2024-05-30 15:26:48 +02:00

trait_goals.rs

check_is_object_safe -> is_object_safe

2024-06-03 09:49:30 -04:00