[otj-users] declared lifting available in teamrole methods?

[Andreas Werner]

Hi OTJ users,

once again I have a question:
Is it allowed to use declared lifting for parameters of a (callin)
method in a TeamRole?

A possible scenario could be:
TeamRole T is played by Base B1 and contains a Role R, which is played
by Base B2.
Further on, I could define a callin method doSomething(B2 b), that is
bound to B1#doSomething(B2 b).
Now, I would like to use the role R of B2 instead of B2. Thus, I use a
declared lifting like TR#doSomething(B2 as R).

I created a Testcase with OTJ 1.1.1 and I got an error with a reference
to OTJLD A.6(a). Summarized, it says that declared lifting is only
available in methods of a Team class.

_Is_ TR not a Team class?
Is this the intended and correct behaviour for this case?

Kind regards, Andreas