What about case `c:CompletionProposal => c.kind == MemberKind.Def && c.context == CompletionContext(CompletionContext.ImportContext) && c.completion == "doNothingWith" ` ? It would future-proof that test w.r.t the arity of CompletionProposal.