From d7b5e537d6fb149663d9074d800b6c1a77289082 Mon Sep 17 00:00:00 2001 From: Adrien Leravat Date: Thu, 5 Jan 2023 09:18:19 -0800 Subject: [PATCH] Explorer: drop unused `NominalClassType` constructor (#2513) This constructor was previously used for instantiated vs non-instantiated generics, but is not necessary anymore. --- explorer/interpreter/value.h | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/explorer/interpreter/value.h b/explorer/interpreter/value.h index 0879fdc8eef6..4867dd02849f 100644 --- a/explorer/interpreter/value.h +++ b/explorer/interpreter/value.h @@ -741,21 +741,6 @@ class StructType : public Value { // A class type. class NominalClassType : public Value { public: - // Construct a non-generic class type. - explicit NominalClassType( - Nonnull declaration, - std::optional> base, VTable class_vtable) - : Value(Kind::NominalClassType), - declaration_(declaration), - base_(base), - vtable_(std::move(class_vtable)), - hierarchy_level_(base ? (*base)->hierarchy_level() + 1 : 0) { - CARBON_CHECK(!declaration->type_params().has_value()) - << "missing arguments for parameterized class type"; - } - - // Construct a fully instantiated generic class type to represent the - // run-time type of an object. explicit NominalClassType( Nonnull declaration, Nonnull bindings,