test(metatype): lock type_info round-trip example (currently bails)
type_info($T) is still unimplemented, so the round-trip
define(declare("ShapeCopy"), type_info(Shape)) bails with
"type_info is not yet implemented" plus the downstream
enum-inference cascade. Snapshot pins that current behavior;
the next commit implements type_info and turns this green.
This commit is contained in:
1
examples/expected/0619-comptime-metatype-type-info.exit
Normal file
1
examples/expected/0619-comptime-metatype-type-info.exit
Normal file
@@ -0,0 +1 @@
|
||||
1
|
||||
17
examples/expected/0619-comptime-metatype-type-info.stderr
Normal file
17
examples/expected/0619-comptime-metatype-type-info.stderr
Normal file
@@ -0,0 +1,17 @@
|
||||
error: type_info is not yet implemented
|
||||
--> examples/0619-comptime-metatype-type-info.sx:19:43
|
||||
|
|
||||
19 | ShapeCopy :: define(declare("ShapeCopy"), type_info(Shape));
|
||||
| ^^^^^^^^^
|
||||
|
||||
error: cannot infer enum type for '.circle' — use an explicit type or assign to a typed variable
|
||||
--> examples/0619-comptime-metatype-type-info.sx:30:14
|
||||
|
|
||||
30 | describe(.circle(2.5));
|
||||
| ^^^^^^^
|
||||
|
||||
error: cannot infer enum type for '.rect' — use an explicit type or assign to a typed variable
|
||||
--> examples/0619-comptime-metatype-type-info.sx:31:14
|
||||
|
|
||||
31 | describe(.rect(7));
|
||||
| ^^^^^
|
||||
@@ -0,0 +1 @@
|
||||
|
||||
Reference in New Issue
Block a user