785             ResolvedConstraint::Bound(t) => t,  in result_type()
786             ResolvedConstraint::Free(ts) => panic!("Result constraints can't be free: {ts:?}"),  in result_type()
795     pub fn value_argument_constraint(self, n: usize, ctrl_type: Type) -> ResolvedConstraint {  in value_argument_constraint()  argument
916     pub fn resolve(&self, ctrl_type: Type) -> ResolvedConstraint {  in resolve()  argument
918         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 {  enum
1218             ResolvedConstraint::Bound(types::I32)  in constraints()
1222             ResolvedConstraint::Bound(types::I32)  in constraints()
1233             ResolvedConstraint::Free(vts) => assert!(vts.contains(types::F32)),  in constraints()