Searched refs:WidthInt (Results 1 – 1 of 1) sorted by relevance
70 WidthInt(u32, u32), enumerator415 tree.concrete_constraints.insert(TypeExpr::WidthInt(tx, t)); in add_annotation_constraints()1030 tree.concrete_constraints.insert(TypeExpr::WidthInt(t, wt)); in add_annotation_constraints()1729 TypeExpr::WidthInt(v, w) => { in solve_constraints()1891 TypeExpr::WidthInt(_, _) => { in solve_constraints()1897 if let TypeExpr::WidthInt(v, w) = c { in solve_constraints()