Function ra_ap_hir_ty::could_unify[][src]

pub fn could_unify(
    db: &dyn HirDatabase,
    env: Arc<TraitEnvironment>,
    tys: &Canonical<(Ty, Ty)>
) -> bool