MODULE main
	CLASS BKt.class
		PACKAGE METADATA
			FUNCTION testMyFoo(LC;)V
				Property: class.metadata.function.valueParameters
					K1
						(myc: C<@Anno(value = "OK") Foo? /* = MyFoo^? */> /* = MyCMyFoo^ */)
					K2
						(myc: C<@Anno(value = "OK") Foo? /* = @Anno(value = "OK") MyFoo^? */> /* = MyCMyFoo^ */)
			FUNCTION testMyMaybeFoo(LC;)V
				Property: class.metadata.function.valueParameters
					K1
						(mycmyb: C<@Anno(value = "OK") Foo? /* = MyMaybeFoo^? */> /* = MyCMaybeFoo^ */)
					K2
						(mycmyb: C<@Anno(value = "OK") Foo? /* = @Anno(value = "OK") MyMaybeFoo^ */> /* = MyCMaybeFoo^ */)
