Added a new unresolved question about the interaction with type inference.