Adapts to ScalaCompletionProposal update