pub fn source_span<'tcx>(_: TyCtxt<'tcx>, _: &source_span<'tcx>) -> bool