fn loc_span( genv: GlobalEnv<'_, '_>, local_decls: &IndexVec<Local, LocalDecl>, loc: &Loc, ) -> Option<SpanTrace>