Searched refs:as_requirement_str (Results 1 – 2 of 2) sorted by relevance
31 &format!("...so that the {}", trace.cause.as_requirement_str()), in note_region_origin()42 &format!("...so that {}", trace.cause.as_requirement_str()), in note_region_origin()
2528 &format!("...so that the {}", sup_trace.cause.as_requirement_str()), in report_sub_sup_conflict()2622 fn as_requirement_str(&self) -> &'static str; in as_requirement_str() method2662 fn as_requirement_str(&self) -> &'static str { in as_requirement_str() method