lcnr 5139facb36 add tests

2025-09-30 12:02:43 +02:00

..

assembly

add tests

2025-09-30 12:02:43 +02:00

eval_ctxt

cleanup try_evaluate_added_goals

2025-09-29 15:28:33 +02:00

inspect

move mod canonical out of eval_ctxt

2025-09-18 23:56:20 +02:00

normalizes_to

Fn-trait goals, eagerly instantiate binder

2025-09-29 15:28:33 +02:00

alias_relate.rs

norm nested aliases before evaluating the parent goal

2025-04-24 18:41:43 +00:00

effect_goals.rs

Fn-trait goals, eagerly instantiate binder

2025-09-29 15:28:33 +02:00

mod.rs

allow method calls on opaques

2025-09-26 16:33:15 +02:00

project_goals.rs

change definitely non-productive cycles to error

2025-03-05 10:06:43 +01:00

search_graph.rs

rename search_graph::Delegate fns

2025-09-26 15:29:01 +02:00

trait_goals.rs

Fn-trait goals, eagerly instantiate binder

2025-09-29 15:28:33 +02:00