/// Check if a type matches this requirement.
Check if a type matches this requirement.
Check if a type matches this requirement .
pub fn matches(&self, ty: &Ty) -> bool {
        match *self {
            OverloadReq::Enum(ref req) => req.matches(ty),
            OverloadReq::Subprog(ref req) => req.matches(ty),
        }
    }
pub fn matches ( & self , ty : & Ty ) -> bool { match * self { OverloadReq :: Enum ( ref req ) => req . matches ( ty ) , OverloadReq :: Subprog ( ref req ) => req . matches ( ty ) , } }
Check if a type matches this requirement.
Check if a type matches this requirement .
&self
ty
&Ty