diff --git a/tests/issues/test_issue_7012.odin b/tests/issues/test_issue_7012.odin new file mode 100644 index 000000000..e478d4998 --- /dev/null +++ b/tests/issues/test_issue_7012.odin @@ -0,0 +1,13 @@ +// Tests issue https://github.com/odin-lang/Odin/issues/7012 +package test_issues + +import "base:intrinsics" + +Foo :: struct($T: typeid) { + x: T, +} + +#assert(intrinsics.type_is_specialization_of(Foo(int), Foo)) +#assert(!intrinsics.type_is_specialization_of(Foo, Foo)) +#assert(!intrinsics.type_is_specialization_of(Foo(int), Foo(int))) +#assert(!intrinsics.type_is_specialization_of(i32, Foo))