Garuda Code

"Parameter type in structural refinement may not refer to an abstract type defined outside that refinement"