Parameter "self" of method "foo"
Inferred type: Self@A