presto-main/src/main/java/io/prestosql/metadata/SignatureBinder.java/SignatureBinder/allTypeVariablesBound
class SignatureBinder:    private boolean allTypeVariablesBound(BoundVariables boundVariables)
    {
        return boundVariables.getTypeVariables().keySet().equals(typeVariableConstraints.keySet());
    }