Ensure we always produce typed AST, even if we fail to apply a solution. This fixes a cursor info issue where we'd to type-check a closure twice due to it not having a type set. rdar://129417672
