Searched defs:scope_span (Results 1 – 3 of 3) sorted by relevance
130 let scope_span = scope.map(|s| s.span(self.fcx.tcx, self.region_scope_tree)); in record() localVariable
242 pub scope_span: Option<Span>, field
2478 let scope_span = source_map.end_point(scope_span); in note_obligation_cause_for_async_await() localVariable