| 1210 | return *result; |
| 1211 | } |
| 1212 | TypeConstructor TypeInference::typeConstructor(Declaration const* _type) const |
| 1213 | { |
| 1214 | if (auto const& constructor = m_analysis.annotation<TypeRegistration>(*_type).typeConstructor) |
| 1215 | return *constructor; |
| 1216 | m_errorReporter.fatalTypeError(5904_error, _type->location(), "Unregistered type."); |
| 1217 | util::unreachable(); |
| 1218 | } |
| 1219 | experimental::Type TypeInference::type(Declaration const* _type, std::vector<Type> _arguments) const |
| 1220 | { |
| 1221 | return m_typeSystem.type(typeConstructor(_type), std::move(_arguments)); |
no test coverage detected