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'
  null

KtTypeReference(120,126): 'Simple'
  null

KtUserType(120,126): 'Simple'
  null

KtNameReferenceExpression(120,126): 'Simple'
  null

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

KtSuperTypeList(144,150): 'Simple'
  null

KtSuperTypeEntry(144,150): 'Simple'
  null

KtTypeReference(144,150): 'Simple'
  null

KtUserType(144,150): 'Simple'
  null

KtNameReferenceExpression(144,150): 'Simple'
  null

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'
  null

KtUserType(177,183): 'Simple'
  null

KtNameReferenceExpression(177,183): 'Simple'
  null

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

KtNameReferenceExpression(192,193): 's'
  KaCallResolutionSuccess:
    call = KaSimpleVariableAccessCall:
      contextArguments = []
      dispatchReceiver = null
      extensionReceiver = null
      isContextSensitive = false
      kind = Read
      signature = KaVariableSignature:
        name = s
        receiverType = null
        returnType = Simple
        symbol = s: Simple
        contextParameters = []
        callableId = null
      typeArgumentsMapping = {}

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

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

KtTypeReference(205,209): 'Left'
  null

KtUserType(205,209): 'Left'
  null

KtNameReferenceExpression(205,209): 'Left'
  null

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'
  KaCallResolutionError:
    candidateCalls = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'not' for operator '!'.>

KtOperationReferenceExpression(231,232): '!'
  KaCallResolutionError:
    candidateCalls = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'not' for operator '!'.>

KtNameReferenceExpression(232,248): 'USELESS_IS_CHECK'
  KaCallResolutionError:
    candidateCalls = []
    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): '!>'
  KaCallResolutionError:
    candidateCalls = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'not' for operator '!'.>

KtOperationReferenceExpression(248,249): '!'
  KaCallResolutionError:
    candidateCalls = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'not' for operator '!'.>

KtOperationReferenceExpression(250,253): '!is'
  null

KtTypeReference(254,262): 'Right<!>'
  null

KtUserType(254,262): 'Right<!>'
  null

KtNameReferenceExpression(254,259): 'Right'
  null

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'
  KaCallResolutionError:
    candidateCalls = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'not' for operator '!'.>

KtOperationReferenceExpression(285,286): '!'
  KaCallResolutionError:
    candidateCalls = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'not' for operator '!'.>

KtNameReferenceExpression(286,308): 'REDUNDANT_ELSE_IN_WHEN'
  KaCallResolutionError:
    candidateCalls = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'REDUNDANT_ELSE_IN_WHEN'.>

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

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

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

KtOperationReferenceExpression(308,309): '!'
  KaCallResolutionError:
    candidateCalls = []
    diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference 'not' for operator '!'.>

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

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