Function ra_ap_hir_ty::could_unify
source · [−]pub fn could_unify(
db: &dyn HirDatabase,
env: Arc<TraitEnvironment>,
tys: &Canonical<(Ty, Ty)>
) -> bool
pub fn could_unify(
db: &dyn HirDatabase,
env: Arc<TraitEnvironment>,
tys: &Canonical<(Ty, Ty)>
) -> bool