We currently don't allow unresolved opaque types!