pub fn get_thrown_type<'a>( resolve: &'a Resolve, return_type: Option<Type>, ) -> Option<(Option<&'a Type>, Option<&'a Type>)>
Utility function for deducing whether a type can throw