Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
"No concretization found" on role-qualified method call with inheritance #2657
The problem applies to a case when a class is inheriting from a parent with a role applied. Lets assume that the parent defines a method which does a role-qualified call to a method in the role. In this case calling this method on an instance of the child class causes "No concretization found" exception.
Steps to Reproduce
Here is a code snippet which demonstrated the problem:
Executing it would result in a output like the following: