Literal::TypeError tweaks and fix for type check in Enum

lib/literal/enum.rb

@@ -124,9 +124,7 @@ def __after_defined__
 				index = @members.group_by(&block).freeze
 
 				index.each do |key, values|
-					unless type === key
-						raise Literal::TypeError.expected(key, to_be_a: type)
-					end
+					Literal.check(key, type)
 
 					if unique && values.size > 1
 						raise ArgumentError.new("The index #{name} is not unique.")

lib/literal/errors/type_error.rb

@@ -52,8 +52,6 @@ def to_h
 				children: @children.map(&:to_h),
 			}
 		end
-
-		alias to_hash to_h
 	end
 
 	def initialize(context:)
@@ -87,7 +85,8 @@ def message
 	end
 
 	def deconstruct_keys(keys)
-		to_h.slice(*keys)
+		h = to_h
+		keys ? h.slice(*keys) : h
 	end
 
 	def to_h

test/enum.test.rb

@@ -227,3 +227,15 @@ class SymbolTypedEnum < Literal::Enum(Symbol)
 	match { Color::Red => Color[1] }
 	match { Color::Red => Color[hex: "#FF0000"] }
 end
+
+test "index with wrong type raises Literal::TypeError" do
+	assert_raises(Literal::TypeError) do
+		Class.new(Literal::Enum(Integer)) do
+			index :bad_index, String, &:value
+
+			const_set(:A, new(1))
+
+			__after_defined__
+		end
+	end
+end

test/type_error.test.rb

@@ -2,22 +2,42 @@
 
 Age = Literal::Value(Integer, 18..)
 
-test do
+test "has message" do
 	Age.new(17)
 rescue => error
 	assert_equal error.class, Literal::TypeError
 	assert_equal error.message, "Type mismatch\n\n" \
 		"    _Constraint(Integer, 18..)\n" \
 		"      Expected: 18..\n" \
 		"      Actual (Integer): 17\n"
+end
+
+test "deconstruct_keys extracts specific keys" do
+	Age.new(17)
+rescue Literal::TypeError => error
+	result = error.deconstruct_keys([:actual, :expected])
+
+	assert_equal result[:actual], 17
+	assert_equal result[:expected].class, Literal::Types::ConstraintType
+end
 
-	# deconstruct_keys
-	key_names = [:receiver, :method, :label, :actual]
-	exp_keys = {
-				receiver: nil,
-				method: nil,
-				label: nil,
-				actual: 17,
-		}
-	assert_equal error.deconstruct_keys(key_names), exp_keys
+test "deconstruct_keys with nil returns all keys" do
+	Age.new(17)
+rescue Literal::TypeError => error
+	result = error.deconstruct_keys(nil)
+
+	assert ([:receiver, :method, :label, :expected, :actual, :children] - result.keys).empty?
+end
+
+test "can be pattern matched" do
+	Age.new(17)
+rescue Literal::TypeError => error
+	case error
+		in expected: expected_type, actual: (..17) => actual_value, children: [{ label: child_label, expected: child_expected, actual: child_actual }]
+			assert_equal expected_type.class, Literal::Types::ConstraintType
+			assert_equal actual_value, 17
+			assert_equal child_label, "_Constraint(Integer, 18..)"
+			assert_equal child_expected, (18..)
+			assert_equal child_actual, 17
+	end
 end