Searched defs:could_unify (Results 1 – 2 of 2) sorted by relevance
57 let could_unify = self.unify(&ty, &expected_ty); in infer_expr() localVariable113 let could_unify = self.unify(&ty, &expected_ty); in infer_expr_coerce_never() localVariable
78 pub fn could_unify( in could_unify() function