KtFile: 'negatedIs.kt'
  null

KtPackageDirective(0,0): ''
  null

KtImportList(0,0): ''
  null

KtClass(78,152): 'sealed interface Simple {'
  null

KtDeclarationModifierList(78,84): 'sealed'
  null

KtClassBody(102,152): '{'
  null

KtClass(108,126): 'class Left: Simple'
  null

KtSuperTypeList(120,126): 'Simple'
  null

KtSuperTypeEntry(120,126): 'Simple'
  KaSymbolResolutionSuccess:
    symbols = [
      /Simple
    ]

KtTypeReference(120,126): 'Simple'
  KaSymbolResolutionSuccess:
    symbols = [
      /Simple
    ]

KtUserType(120,126): 'Simple'
  KaSymbolResolutionSuccess:
    symbols = [
      /Simple
    ]

KtNameReferenceExpression(120,126): 'Simple'
  isImplicitReferenceToCompanion: false
  contextSensitiveResolutionStatus: NotAvailable
  lookupLocally: false
  KaSymbolResolutionSuccess:
    symbols = [
      /Simple
    ]

KtClass(131,150): 'class Right: Simple'
  null

KtSuperTypeList(144,150): 'Simple'
  null

KtSuperTypeEntry(144,150): 'Simple'
  KaSymbolResolutionSuccess:
    symbols = [
      /Simple
    ]

KtTypeReference(144,150): 'Simple'
  KaSymbolResolutionSuccess:
    symbols = [
      /Simple
    ]

KtUserType(144,150): 'Simple'
  KaSymbolResolutionSuccess:
    symbols = [
      /Simple
    ]

KtNameReferenceExpression(144,150): 'Simple'
  isImplicitReferenceToCompanion: false
  contextSensitiveResolutionStatus: NotAvailable
  lookupLocally: false
  KaSymbolResolutionSuccess:
    symbols = [
      /Simple
    ]

KtNamedFunction(154,325): 'fun testWithSubject(s: Simple) = when(s) {'
  null

KtParameterList(173,184): '(s: Simple)'
  null

KtParameter(174,183): 's: Simple'
  null

KtTypeReference(177,183): 'Simple'
  KaSymbolResolutionSuccess:
    symbols = [
      /Simple
    ]

KtUserType(177,183): 'Simple'
  KaSymbolResolutionSuccess:
    symbols = [
      /Simple
    ]

KtNameReferenceExpression(177,183): 'Simple'
  isImplicitReferenceToCompanion: false
  contextSensitiveResolutionStatus: NotAvailable
  lookupLocally: false
  KaSymbolResolutionSuccess:
    symbols = [
      /Simple
    ]

KtWhenExpression(187,325): 'when(s) {'
  null

KtNameReferenceExpression(192,193): 's'
  isImplicitReferenceToCompanion: false
  contextSensitiveResolutionStatus: NotAvailable
  lookupLocally: true
  KaSymbolResolutionSuccess:
    symbols = [
      s: Simple
    ]

KtWhenEntry(201,225): '!is Left -> "not a left"'
  null

KtWhenConditionIsPattern(201,209): '!is Left'
  null

KtTypeReference(205,209): 'Left'
  KaSymbolResolutionSuccess:
    symbols = [
      /Simple.Left
    ]

KtUserType(205,209): 'Left'
  KaSymbolResolutionSuccess:
    symbols = [
      /Simple.Left
    ]

KtNameReferenceExpression(205,209): 'Left'
  isImplicitReferenceToCompanion: false
  contextSensitiveResolutionStatus: Used
  lookupLocally: false
  KaSymbolResolutionSuccess:
    symbols = [
      /Simple.Left
    ]

KtStringTemplateExpression(213,225): '"not a left"'
  null

KtLiteralStringTemplateEntry(214,224): 'not a left'
  null

KtWhenEntry(230,248): '<!USELESS_IS_CHECK'
  null

KtWhenConditionWithExpression(230,230): ''
  null

KtPrefixExpression(231,248): '!USELESS_IS_CHECK'
  KaSymbolResolutionError:
    candidateSymbols = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'not' for operator '!'.>

KtOperationReferenceExpression(231,232): '!'
  isImplicitReferenceToCompanion: false
  contextSensitiveResolutionStatus: NotAvailable
  lookupLocally: false
  KaSymbolResolutionError:
    candidateSymbols = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'not' for operator '!'.>

KtNameReferenceExpression(232,248): 'USELESS_IS_CHECK'
  isImplicitReferenceToCompanion: false
  contextSensitiveResolutionStatus: NotAvailable
  lookupLocally: false
  KaSymbolResolutionError:
    candidateSymbols = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'USELESS_IS_CHECK'.>

KtWhenEntry(248,279): '!>!is Right<!> -> "not a right"'
  null

KtWhenConditionWithExpression(248,262): '!>!is Right<!>'
  null

KtIsExpression(248,262): '!>!is Right<!>'
  null

KtPrefixExpression(248,250): '!>'
  KaSymbolResolutionError:
    candidateSymbols = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'not' for operator '!'.>

KtOperationReferenceExpression(248,249): '!'
  isImplicitReferenceToCompanion: false
  contextSensitiveResolutionStatus: NotAvailable
  lookupLocally: false
  KaSymbolResolutionError:
    candidateSymbols = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'not' for operator '!'.>

KtOperationReferenceExpression(250,253): '!is'
  isImplicitReferenceToCompanion: false
  contextSensitiveResolutionStatus: NotAvailable
  lookupLocally: false
  null

KtTypeReference(254,262): 'Right<!>'
  KaSymbolResolutionError:
    candidateSymbols = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'Right'.>

KtUserType(254,262): 'Right<!>'
  KaSymbolResolutionError:
    candidateSymbols = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'Right'.>

KtNameReferenceExpression(254,259): 'Right'
  isImplicitReferenceToCompanion: false
  contextSensitiveResolutionStatus: NotAvailable
  lookupLocally: false
  KaSymbolResolutionError:
    candidateSymbols = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'Right'.>

KtTypeArgumentList(259,262): '<!>'
  null

KtTypeProjection(260,261): '!'
  null

KtTypeReference(260,261): '!'
  null

KtStringTemplateExpression(266,279): '"not a right"'
  null

KtLiteralStringTemplateEntry(267,278): 'not a right'
  null

KtWhenEntry(284,308): '<!REDUNDANT_ELSE_IN_WHEN'
  null

KtWhenConditionWithExpression(284,284): ''
  null

KtPrefixExpression(285,308): '!REDUNDANT_ELSE_IN_WHEN'
  KaSymbolResolutionError:
    candidateSymbols = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'not' for operator '!'.>

KtOperationReferenceExpression(285,286): '!'
  isImplicitReferenceToCompanion: false
  contextSensitiveResolutionStatus: NotAvailable
  lookupLocally: false
  KaSymbolResolutionError:
    candidateSymbols = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'not' for operator '!'.>

KtNameReferenceExpression(286,308): 'REDUNDANT_ELSE_IN_WHEN'
  isImplicitReferenceToCompanion: false
  contextSensitiveResolutionStatus: NotAvailable
  lookupLocally: false
  KaSymbolResolutionError:
    candidateSymbols = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'REDUNDANT_ELSE_IN_WHEN'.>

KtWhenEntry(308,310): '!>'
  null

KtWhenConditionWithExpression(308,310): '!>'
  null

KtPrefixExpression(308,310): '!>'
  KaSymbolResolutionError:
    candidateSymbols = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'not' for operator '!'.>

KtOperationReferenceExpression(308,309): '!'
  isImplicitReferenceToCompanion: false
  contextSensitiveResolutionStatus: NotAvailable
  lookupLocally: false
  KaSymbolResolutionError:
    candidateSymbols = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'not' for operator '!'.>

KtWhenEntry(310,323): 'else<!> -> ""'
  null

KtStringTemplateExpression(321,323): '""'
  null
