pyos 67a6785f63 FIR DFA: move eq/notEq null-to-type translation to LogicSystem ...

This makes the `returns() implies` checker slightly cleaner, and also
fixes the case that I've missed where in RHS of `x ?:` type of `x` was
not set to `Nothing?`.

2022-11-22 15:44:37 +00:00

..

asCastForInlineClass.kt

…

assertionsForParametersOfInlineClassTypes.kt

…

boxingForNonLocalAndLabeledReturnsOfInlineClasses.kt

…

boxInlineClassesOnPassingToVarargs.kt

…

boxInlineClassInsideElvisWithNullConstant.kt

…

boxMethodCalledByInlineClass.kt

…

boxResultAfterConstructorCall.kt

…

boxResultInlineClassOfConstructorCall.kt

…

boxThisOfInlineClass.kt

…

boxUnboxInlineClassFromMethodReturnType.kt

…

boxUnboxInsideLambdaAsLastExpression.kt

…

boxUnboxOfInlineClassesWithFunctionalTypes.kt

…

boxUnboxOnInlinedParameters.kt

…

callMemberMethodsInsideInlineClass.kt

…

checkBoxingInInlineClass.kt

…

checkOuterInlineFunctionCall.kt

…

constructorBridge.kt

…

constructorWithDefaultArguments.kt

…

defaultParametersDontBox.kt

…

delegatedPropertyMangling.kt

Test infra: refactor IGNORE_BACKEND directive

2022-11-12 16:28:23 +01:00

equalsDoesNotBox.kt

…

equalsIsCalledByInlineClass.kt

Get rid of redundant boxing when comparing inline class instances

2022-11-18 23:14:03 +00:00

factoryMethodForSecondaryConstructorsCalledByInlineClass.kt

…

functionsWithInlineClassParametersHaveStableMangledNames.kt

…

generationOfAccessorToUnderlyingValue.kt

…

genericNoUnbox.kt

…

hashCodeIsCalledByInlineClass.kt

FIR2IR: bind fake override calls via symbol table

2021-11-09 21:04:37 +03:00

inlineClassBoxingOnAssignment.kt

…

inlineClassBoxingOnFunctionCall.kt

…

inlineClassBoxingUnboxingInsideInlinedLambda.kt

…

inlineClassesUnboxingAfterAssertionOperator.kt

…

inlineClassInGeneratedToString.kt

…

inlineClassInStringTemplate.kt

…

interfaceDefaultImplStubs.kt

FIR2IR: implement early f/o overridden symbols binding #KT-42784 Fixed

2021-11-09 21:04:36 +03:00

interfaceJvmDefaultImplStubs.kt

FIR2IR: implement early f/o overridden symbols binding #KT-42784 Fixed

2021-11-09 21:04:36 +03:00

isCheckForInlineClass.kt

…

kt33722.kt

Get rid of redundant boxing when comparing inline class instances

2022-11-18 23:14:03 +00:00

mangledInlineClassInterfaceImplementation.kt

Test infra: refactor IGNORE_BACKEND directive

2022-11-12 16:28:23 +01:00

mangledSamWrappers.kt

…

mangledSamWrappersIndy.kt

KT-51883 Don't use "-" in generated unique lifted declaration names

2022-06-10 18:36:04 +00:00

mangledSamWrappersOld.kt

…

noActualCallsOfInlineFunctionsOfInlineClass.kt

…

noAssertionsForInlineClassesBasedOnNullableTypes.kt

…

noBoxingInMethod.kt

…

noBoxingOnCastOperations.kt

…

noBoxingOperationsOnNonTrivialSpread.kt

…

noBoxingUnboxingInAccessorsForDelegatedPropertyWithInlineClassDelegate.kt

…

noManglingForFunctionsWithJvmName.kt

Replace all occurrences of WITH_RUNTIME with WITH_STDLIB

2021-11-17 15:26:38 +03:00

nonOverridingMethodsAreCalledByInlineClass.kt

…

noReturnTypeMangling.kt

…

overridingMethodsAreCalledByInlineClass.kt

…

passInlineClassesWithSpreadOperatorToVarargs.kt

…

primaryConstructorCalledByInlineClass.kt

…

propertyAccessorsAreCalledByInlineClass.kt

…

propertySetterWithInlineClassTypeArgument.kt

…

resultApiDoesntCallSpecializedEquals.kt

Replace all occurrences of WITH_RUNTIME with WITH_STDLIB

2021-11-17 15:26:38 +03:00

resultApiDoesntUseBox.kt

Replace all occurrences of WITH_RUNTIME with WITH_STDLIB

2021-11-17 15:26:38 +03:00

resultApiEqualsDoesntBox.kt

Replace all occurrences of WITH_RUNTIME with WITH_STDLIB

2021-11-17 15:26:38 +03:00

resultApiRunCatchingDoesntBox.kt

Test infra: refactor IGNORE_BACKEND directive

2022-11-12 16:28:23 +01:00

resultApiStringInterpolationDoesntBox.kt

Replace all occurrences of WITH_RUNTIME with WITH_STDLIB

2021-11-17 15:26:38 +03:00

resultMangling.kt

Replace all occurrences of WITH_RUNTIME with WITH_STDLIB

2021-11-17 15:26:38 +03:00

skipCallToUnderlyingValueOfInlineClass.kt

FIR2IR: call fake overrides properly #KT-49288 Fixed

2021-11-09 21:04:35 +03:00

suspendFunctionMangling.kt

…

toStringOfInlineClassValue.kt

FIR2IR: bind fake override calls via symbol table

2021-11-09 21:04:37 +03:00

toStringOfReferenceInlineClassValue.kt

FIR2IR: bind fake override calls via symbol table

2021-11-09 21:04:37 +03:00

uIntArrayIteratorWithoutBoxing.kt

…

uIntArraySwapBoxing.kt

…

unboxInlineClassAfterElvis.kt

FIR DFA: move eq/notEq null-to-type translation to LogicSystem

2022-11-22 15:44:37 +00:00

unboxInlineClassAfterSafeCall.kt

…

unboxInlineClassesAfterSmartCasts.kt

…

unboxInlineClassFromParameterizedType.kt

…

unboxMethodCalledByInlineClass.kt

…