Searched refs:ResolvedConstraint (Results 1 – 3 of 3) sorted by relevance
785 ResolvedConstraint::Bound(t) => t, in result_type()795 pub fn value_argument_constraint(self, n: usize, ctrl_type: Type) -> ResolvedConstraint { in value_argument_constraint() argument916 pub fn resolve(&self, ctrl_type: Type) -> ResolvedConstraint { in resolve() argument918 use self::ResolvedConstraint::Bound; in resolve()921 Free(vts) => ResolvedConstraint::Free(TYPE_SETS[vts as usize]), in resolve()994 ResolvedConstraint::Free(tys) in resolve()1028 ResolvedConstraint::Free(tys) in resolve()1036 pub enum ResolvedConstraint { enum1218 ResolvedConstraint::Bound(types::I32) in constraints()1222 ResolvedConstraint::Bound(types::I32) in constraints()[all …]
71 use crate::ir::instructions::{CallInfo, InstructionFormat, ResolvedConstraint};1352 ResolvedConstraint::Bound(expected_type) => { in typecheck_fixed_args()1363 ResolvedConstraint::Free(type_set) => { in typecheck_fixed_args()
8 use cranelift::codegen::ir::instructions::{InstructionFormat, ResolvedConstraint};860 ResolvedConstraint::Bound(ty) => cols.push(Vec::from([ty])),861 ResolvedConstraint::Free(tys) => cols.push(Vec::from_iter(