Method isFixedTypeVar

libsolidity/experimental/ast/TypeSystem.cpp:120–125

bool TypeEnvironment::isFixedTypeVar(Type const& _typeVar) const
{
	return
		std::holds_alternative<TypeVariable>(_typeVar) &&
		m_fixedTypeVariables.count(std::get<TypeVariable>(_typeVar).index()) != 0;
}

void TypeEnvironment::fixTypeVars(std::vector<Type> const& _typeVars)
{