Satisfies function reports
whether a type satisfies a constraint.
This change aligns with the new language semantics
- that distinguish satsifying a constraint from implementing an interface.
+ that distinguish satisfying a constraint from implementing an interface.