Searched refs:ObligationCauseData (Results 1 – 1 of 1) sorted by relevance
91 data: Option<Lrc<ObligationCauseData<'tcx>>>,94 const DUMMY_OBLIGATION_CAUSE_DATA: ObligationCauseData<'static> =95 ObligationCauseData { span: DUMMY_SP, body_id: hir::CRATE_HIR_ID, code: MiscObligation };100 ObligationCauseData::fmt(self, f) in fmt()105 type Target = ObligationCauseData<'tcx>;114 pub struct ObligationCauseData<'tcx> { struct128 impl Hash for ObligationCauseData<'_> { implementation143 ObligationCause { data: Some(Lrc::new(ObligationCauseData { span, body_id, code })) } in new()159 pub fn make_mut(&mut self) -> &mut ObligationCauseData<'tcx> { in make_mut()