mirror of
https://git.proxmox.com/git/rustc
synced 2025-08-17 16:31:32 +00:00
188 lines
6.8 KiB
Plaintext
188 lines
6.8 KiB
Plaintext
(component
|
|
(type (;0;)
|
|
(component
|
|
(type (;0;)
|
|
(instance
|
|
(export (;0;) "bar" (type (sub resource)))
|
|
(export (;1;) "t" (type (eq 0)))
|
|
(type (;2;) (own 0))
|
|
(export (;3;) "t2" (type (eq 2)))
|
|
(type (;4;) (own 0))
|
|
(type (;5;) (func (result 4)))
|
|
(export (;0;) "[constructor]bar" (func (type 5)))
|
|
(type (;6;) (func))
|
|
(export (;1;) "[static]bar.a" (func (type 6)))
|
|
(type (;7;) (borrow 0))
|
|
(type (;8;) (func (param "self" 7)))
|
|
(export (;2;) "[method]bar.b" (func (type 8)))
|
|
(type (;9;) (func (param "x" 4) (result 4)))
|
|
(export (;3;) "a" (func (type 9)))
|
|
)
|
|
)
|
|
(export (;0;) "foo:bar/foo" (instance (type 0)))
|
|
)
|
|
)
|
|
(export (;1;) "foo" (type 0))
|
|
(type (;2;)
|
|
(component
|
|
(type (;0;)
|
|
(instance
|
|
(export (;0;) "bar" (type (sub resource)))
|
|
(export (;1;) "t" (type (eq 0)))
|
|
(type (;2;) (own 0))
|
|
(export (;3;) "t2" (type (eq 2)))
|
|
)
|
|
)
|
|
(import "foo:bar/foo" (instance (;0;) (type 0)))
|
|
(alias export 0 "bar" (type (;1;)))
|
|
(alias export 0 "t" (type (;2;)))
|
|
(type (;3;)
|
|
(instance
|
|
(alias outer 1 1 (type (;0;)))
|
|
(export (;1;) "bar" (type (eq 0)))
|
|
(alias outer 1 2 (type (;2;)))
|
|
(export (;3;) "t" (type (eq 2)))
|
|
(type (;4;) (own 1))
|
|
(type (;5;) (func (param "x" 4) (result 4)))
|
|
(export (;0;) "a" (func (type 5)))
|
|
(type (;6;) (own 3))
|
|
(type (;7;) (func (result 6)))
|
|
(export (;1;) "b" (func (type 7)))
|
|
)
|
|
)
|
|
(export (;1;) "foo:bar/baz" (instance (type 3)))
|
|
)
|
|
)
|
|
(export (;3;) "baz" (type 2))
|
|
(type (;4;)
|
|
(component
|
|
(type (;0;)
|
|
(instance
|
|
(export (;0;) "a" (type (sub resource)))
|
|
(type (;1;) (own 0))
|
|
(type (;2;) (func (param "a1" 1) (param "a2" 1) (result 1)))
|
|
(export (;0;) "b" (func (type 2)))
|
|
(type (;3;) (list 1))
|
|
(type (;4;) (func (result 3)))
|
|
(export (;1;) "c" (func (type 4)))
|
|
)
|
|
)
|
|
(export (;0;) "foo:bar/implicit-own-handles" (instance (type 0)))
|
|
)
|
|
)
|
|
(export (;5;) "implicit-own-handles" (type 4))
|
|
(type (;6;)
|
|
(component
|
|
(type (;0;)
|
|
(instance
|
|
(export (;0;) "a" (type (sub resource)))
|
|
(export (;1;) "b" (type (sub resource)))
|
|
(export (;2;) "c" (type (sub resource)))
|
|
(type (;3;) (own 0))
|
|
(type (;4;) (list 3))
|
|
(type (;5;) (func (param "a" 4) (result 3)))
|
|
(export (;0;) "[constructor]a" (func (type 5)))
|
|
(type (;6;) (own 1))
|
|
(type (;7;) (list 6))
|
|
(type (;8;) (func (param "a" 7) (param "b" 6) (result 6)))
|
|
(export (;1;) "[constructor]b" (func (type 8)))
|
|
(type (;9;) (own 2))
|
|
(type (;10;) (func (param "a" 9) (result 9)))
|
|
(export (;2;) "[static]c.a" (func (type 10)))
|
|
)
|
|
)
|
|
(export (;0;) "foo:bar/implicit-own-handles2" (instance (type 0)))
|
|
)
|
|
)
|
|
(export (;7;) "implicit-own-handles2" (type 6))
|
|
(type (;8;)
|
|
(component
|
|
(type (;0;)
|
|
(component
|
|
(type (;0;)
|
|
(instance
|
|
(export (;0;) "bar" (type (sub resource)))
|
|
(export (;1;) "t" (type (eq 0)))
|
|
(type (;2;) (own 0))
|
|
(export (;3;) "t2" (type (eq 2)))
|
|
(type (;4;) (own 0))
|
|
(type (;5;) (func (result 4)))
|
|
(export (;0;) "[constructor]bar" (func (type 5)))
|
|
(type (;6;) (func))
|
|
(export (;1;) "[static]bar.a" (func (type 6)))
|
|
(type (;7;) (borrow 0))
|
|
(type (;8;) (func (param "self" 7)))
|
|
(export (;2;) "[method]bar.b" (func (type 8)))
|
|
(type (;9;) (func (param "x" 4) (result 4)))
|
|
(export (;3;) "a" (func (type 9)))
|
|
)
|
|
)
|
|
(import "foo:bar/foo" (instance (;0;) (type 0)))
|
|
(alias export 0 "bar" (type (;1;)))
|
|
(alias export 0 "t" (type (;2;)))
|
|
(type (;3;)
|
|
(instance
|
|
(alias outer 1 1 (type (;0;)))
|
|
(export (;1;) "bar" (type (eq 0)))
|
|
(alias outer 1 2 (type (;2;)))
|
|
(export (;3;) "t" (type (eq 2)))
|
|
(type (;4;) (own 1))
|
|
(type (;5;) (func (param "x" 4) (result 4)))
|
|
(export (;0;) "a" (func (type 5)))
|
|
(type (;6;) (own 3))
|
|
(type (;7;) (func (result 6)))
|
|
(export (;1;) "b" (func (type 7)))
|
|
)
|
|
)
|
|
(import "foo:bar/baz" (instance (;1;) (type 3)))
|
|
(alias export 1 "bar" (type (;4;)))
|
|
(import "bar" (type (;5;) (eq 4)))
|
|
(import "a" (type (;6;) (sub resource)))
|
|
(type (;7;)
|
|
(instance
|
|
(export (;0;) "a" (type (sub resource)))
|
|
(type (;1;) (own 0))
|
|
(type (;2;) (func (result 1)))
|
|
(export (;0;) "[constructor]a" (func (type 2)))
|
|
(type (;3;) (func))
|
|
(export (;1;) "[static]a.b" (func (type 3)))
|
|
(type (;4;) (borrow 0))
|
|
(type (;5;) (func (param "self" 4)))
|
|
(export (;2;) "[method]a.c" (func (type 5)))
|
|
)
|
|
)
|
|
(import "anon" (instance (;2;) (type 7)))
|
|
(type (;8;) (own 6))
|
|
(type (;9;) (func (result 8)))
|
|
(import "[constructor]a" (func (;0;) (type 9)))
|
|
(export (;1;) "x" (func (type 9)))
|
|
(type (;10;) (own 5))
|
|
(type (;11;) (func (result 10)))
|
|
(export (;2;) "y" (func (type 11)))
|
|
)
|
|
)
|
|
(export (;0;) "foo:bar/some-world" (component (type 0)))
|
|
)
|
|
)
|
|
(export (;9;) "some-world" (type 8))
|
|
(type (;10;)
|
|
(component
|
|
(type (;0;)
|
|
(component
|
|
(import "a" (type (;0;) (sub resource)))
|
|
(type (;1;) (own 0))
|
|
(type (;2;) (list 1))
|
|
(type (;3;) (func (param "a" 2) (param "b" 2) (result 1)))
|
|
(import "[constructor]a" (func (;0;) (type 3)))
|
|
)
|
|
)
|
|
(export (;0;) "foo:bar/implicit-own-handles3" (component (type 0)))
|
|
)
|
|
)
|
|
(export (;11;) "implicit-own-handles3" (type 10))
|
|
(@custom "package-docs" "\00{\22worlds\22:{\22implicit-own-handles3\22:{\22types\22:{\22a\22:{\22docs\22:\22there should only be one `list` type despite there looking like two\5cnlist types here\22}}}},\22interfaces\22:{\22implicit-own-handles2\22:{\22types\22:{\22a\22:{\22docs\22:\22the `own` return and list param should be the same `own`\22},\22b\22:{\22docs\22:\22same as above, even when the `list<b>` implicitly-defined `own` comes\5cnbefore an explicitly defined `own`\22},\22c\22:{\22docs\22:\22same as the above, the `own` argument should have the same type as the\5cnreturn value\22}}}}}")
|
|
(@producers
|
|
(processed-by "wit-component" "$CARGO_PKG_VERSION")
|
|
)
|
|
)
|