Michael Goulet 70b9dad3dc Annotate some bugs

2023-12-15 14:45:06 +00:00

..

assembly

Implement async gen blocks

2023-12-08 17:23:25 +00:00

eval_ctxt

consistently use "next solver" instead of "new solver"

2023-12-14 15:22:37 +01:00

inspect

rename -Ztrait-solver to -Znext-solver

2023-12-14 15:22:37 +01:00

normalizes_to

Annotate some bugs

2023-12-15 14:45:06 +00:00

alias_relate.rs

implement and use NormalizesTo

2023-12-08 01:31:18 +01:00

fulfill.rs

add unused NormalizesTo predicate

2023-12-07 17:52:51 +01:00

mod.rs

update use of feature flags

2023-12-14 15:22:37 +01:00

normalize.rs

refactor writeback: emit normalization errors with new solver

2023-12-12 12:20:54 +00:00

project_goals.rs

Unconditionally register alias-relate in projection goal

2023-12-14 18:41:23 +00:00

search_graph.rs

consistently use "next solver" instead of "new solver"

2023-12-14 15:22:37 +01:00

trait_goals.rs

Annotate some bugs

2023-12-15 14:45:06 +00:00