Searched defs:subtyping_error (Results 1 – 1 of 1) sorted by relevance
303 let subtyping_error = match supertype_error { in check_argument_types() localVariable592 let subtyping_error = self.probe(|_| { in report_arg_errors() localVariable