Michael Goulet df1c1afdaf Check that RPITs are compatible with the opaques inferred during HIR typeck too

2023-05-31 17:45:45 +00:00

..

bugs

Check that RPITs are compatible with the opaques inferred during HIR typeck too

2023-05-31 17:45:45 +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

…

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

…