Resolved to:
0: (in A) val aa: A?
