diff --git a/tests/valid/src/traits.ri b/tests/valid/src/traits.ri index bdfaae037..633d11218 100644 --- a/tests/valid/src/traits.ri +++ b/tests/valid/src/traits.ri @@ -70,19 +70,3 @@ func ship(a: +Eq, b: +Eq) -> bool { test "traits: default method" { @assert(ship( Poketrait("Shell"), Poketrait("Shell") )); } - -#[default_value(IntegerValue(5))] -trait Integer {} - -struct IntegerValue { - int: int32; -} - -struct IntegerStruct { - i: +Integer; -} - -test "traits with `default_value` attribute" { - is_ := IntegerStruct(); - @assert(is_.i is IntegerValue(int_v) && int_v.int == 5); -}