// While running completion on this, the typechecker produces a diagnostic and
// an AST with an error type. If the ASTVerifier ran on the AST with the error
// type, then it would fail. This test verifies that the ASTVerifier does not
// run on ASTs with error types produced by completion requests.

// RUN: %target-swift-ide-test -repl-code-completion -source-filename=%s

let bar: NotARealType = 0; ba