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