Searched refs:ArgumentMutability (Results 1 – 4 of 4) sorted by relevance
41 ArgumentMutability(usize), enumerator118 ArgumentMutability(_) | Mutability => write!(f, "types differ in mutability"), in fmt()226 | ArgumentMutability(_) in must_include_note()
193 Err(TypeError::Mutability | TypeError::ArgumentMutability(_)) => { in relate()194 Err(TypeError::ArgumentMutability(i)) in relate()
601 ArgumentMutability(i) => ArgumentMutability(i), in lift_to_tcx()
303 TypeError::ArgumentMutability(0) | TypeError::ArgumentSorts(_, 0) in compare_predicate_entailment()340 TypeError::ArgumentMutability(i) | TypeError::ArgumentSorts(_, i) => { in compare_predicate_entailment()483 TypeError::ArgumentMutability(i) => { in extract_spans_for_error_reporting()