Camille GILLOT a395d2a5de Give more descriptive names to queries.

2023-04-20 18:01:07 +00:00

..

bugs

Give more descriptive names to queries.

2023-04-20 18:01:07 +00:00

arithmetic.rs

…

assert.rs

…

basic.rs

…

builtin-copy-clone.rs

…

chalk_initial_program.rs

…

chalk_initial_program.stderr

…

closure.rs

…

closure.stderr

…

generic_impls.rs

…

generic_impls.stderr

…

impl_wf_2.rs

…

impl_wf_2.stderr

…

impl_wf.rs

…

impl_wf.stderr

Point at impl self type for impl wf obligations

2023-01-12 20:44:47 +00:00

inherent_impl_min.rs

…

inherent_impl.rs

…

lower_env1.rs

…

lower_env2.rs

…

lower_env3.rs

…

lower_impl.rs

…

lower_struct.rs

…

lower_trait_higher_rank.rs

…

lower_trait_where_clause.rs

…

lower_trait.rs

…

println.rs

…

projection.rs

…

recursive_where_clause_on_type.rs

…

recursive_where_clause_on_type.stderr

…

super_trait.rs

…

trait_implied_bound.rs

…

trait-objects.rs

…

type_implied_bound.rs

…

type_inference.rs

…

type_inference.stderr

…

type_wf.rs

…

type_wf.stderr

…