pub(crate) fn local_ty<'a>( local_tys: &'a BTreeMap<u32, Ty>, local: u32, context: &'static str, ) -> Result<&'a Ty, LowerError>
Resolve the semantic type for a MIR local.