Function rustc::middle::typeck::infer::lattice::lattice_var_and_t[src]

pub fn lattice_var_and_t<L: LatticeDir + Combine, T: LatticeValue, K: UnifyKey<Bounds<T>>>(this: &L, a_id: K, b: &T, lattice_dir_op: LatticeDirOp<T>) -> cres<T>