Simplifying function context using ConstraintKind