Skip to main content

equal_response_modulo_region_constraints

rustc_next_trait_solver::solve

Function equal_response_modulo_region_constraints 

Source 
fn equal_response_modulo_region_constraints<I: Interner>(
    a: &CanonicalResponse<I>,
    b: &CanonicalResponse<I>,
) -> bool
Expand description

Whether two canonical responses are exactly equal except for their region constraints.