| 125 | } |
| 126 | |
| 127 | void TypeEnvironment::fixTypeVars(std::vector<Type> const& _typeVars) |
| 128 | { |
| 129 | for (Type const& typeVar: _typeVars) |
| 130 | { |
| 131 | solAssert(std::holds_alternative<TypeVariable>(typeVar)); |
| 132 | m_fixedTypeVariables.insert(std::get<TypeVariable>(typeVar).index()); |
| 133 | } |
| 134 | } |
| 135 | |
| 136 | TypeEnvironment TypeEnvironment::clone() const |
| 137 | { |
no test coverage detected