From @skaji

(Note that the script is also at
https://gist.github.com/shoichikaji/e0baf95e6f602a443f16 )

Following script exits with error​:

$ cat test.p6
class A {}

class B {
  sub foo(A $a) {}
  A.^add_method('bar', method () {
  foo(self);
  });
}

$ perl6 -v
This is perl6 version 2015.09-289-g6f31121 built on MoarVM version
2015.09-69-g741cb9c

$ perl6 test.p6
===SORRY!=== Error while compiling test.p6
Calling foo(B) will never work with declared signature (A $a)
at test.p6​:6
------> ⏏foo(self);

From @jonathanstowe

Hi,
I think that is more like a parsing problem, because the "self" in the method in general is clearly the right object​:

class A {}

class B {
  sub foo(A $a) {}
  A.^add_method('bar', method () {
  say self.perl;
  #foo(self);
  });
}

A.new.bar; # > A.new

A possible workaround is​:

class A {}

class B {
  sub foo(A $a) { say $a.perl}
  A.^add_method('bar', method () {
  my $a = self;
  foo($a);
  });
}

A.new.bar # > A.new

Don't know if that helps.

On Thu Oct 08 07​:49​:41 2015, skaji@​outlook.com wrote​:

(Note that the script is also at
https://gist.github.com/shoichikaji/e0baf95e6f602a443f16 )

Following script exits with error​:

$ cat test.p6
class A {}

class B {
sub foo(A $a) {}
A.^add_method('bar', method () {
foo(self);
});
}

$ perl6 -v
This is perl6 version 2015.09-289-g6f31121 built on MoarVM version
2015.09-69-g741cb9c

$ perl6 test.p6
===SORRY!=== Error while compiling test.p6
Calling foo(B) will never work with declared signature (A $a)
at test.p6​:6
------> ⏏foo(self);

The RT System itself - Status changed from 'new' to 'open'