fn meta_call_info( expr: &MetaExpr, result_type: Option<MetaType>, meta_env: &[(String, Option<MetaType>)], ) -> Option<MetaCallInfo>