kodept_inference::constraint

Function implicit_cst

Source 
pub fn implicit_cst(
    t1: impl Into<MonomorphicType>,
    ctx: impl Into<HashSet<TVar>>,
    t2: impl Into<MonomorphicType>,
) -> Constraint