Denis Zharkov 00a78fce0c Get rid of special logic when check receiver ...

Instead of manually checking nullability when reporing UNSAFE_CALL_ERROR
just check if receiver type is subtype of receiver parameter

Make it in two steps
1. Check subtype with respect to smart casts but ignoring nullability (if it's not satisfied -> ERROR)
2. Check subtype with respect to nullability and smartcasts (record latter if needed)

2015-08-28 18:50:25 +03:00

..

codeFragments

Debugger: get topmost element at offset as contextElement

2015-08-26 12:16:06 +03:00

custom

Replace annotations with brackets in testData

2015-05-07 22:36:16 +03:00

duplicateJvmSignature

Drop 'OBJECT$' field deprecated in M11

2015-07-06 16:19:54 +03:00

infos

Get rid of special logic when check receiver

2015-08-28 18:50:25 +03:00

js

Allow to use dynamic types for JS projects in IDEA.

2014-12-10 22:48:00 +03:00

recovery

IDE testdata: s/trait/interface

2015-05-13 16:13:13 +02:00

regression

KT-1273 Unused assignment - should highlight assignment instead of expression

2015-05-19 23:45:59 +03:00

rendering

mark last parenthesis instead of value argument list

2012-10-16 20:14:52 +04:00

Abstract.kt

Deprecated enum syntax removed: most idea tests

2015-08-10 16:24:16 +03:00

AnnotationOnFile.kt

Binary or runtime repeatable annotations are not allowed for JVM. Some tests fixed accordingly.

2015-08-03 19:41:45 +03:00

AnonymousInitializers.kt

IDE testdata: s/trait/interface

2015-05-13 16:13:13 +02:00

BinaryCallsOnNullableValues.kt

Smart casts for local variables not captured in a closure and not changed in a loop, see #KT-3175.

2015-04-16 20:10:58 +03:00

Bounds2.kt

Renamed *.jet to *.kt in test data of JetPsiCheckerTest.

2012-11-12 19:54:22 +04:00

Bounds.kt

Renamed *.jet to *.kt in test data of JetPsiCheckerTest.

2012-11-12 19:54:22 +04:00

BoundsWithSubstitutors.kt

Renamed *.jet to *.kt in test data of JetPsiCheckerTest.

2012-11-12 19:54:22 +04:00

BreakContinue.kt

Adjust testData to new labels syntax

2015-04-29 14:03:11 +03:00

Builders.kt

IDE testdata: s/trait/interface

2015-05-13 16:13:13 +02:00

Casts.kt

fix JetPsiCheckerTest

2015-04-29 16:33:38 +02:00

ClassObjectInEnum.kt

Enum deprecated syntax detection implemented and integrated into DeclarationsChecker.

2015-05-15 16:13:34 +03:00

ClassObjects.kt

Regular modifier checker implemented (initial version). A set of tests fixed accordingly.

2015-08-03 19:41:50 +03:00

Constants.kt

deprecating types after colon

2015-04-29 16:33:24 +02:00

Constructors.kt

KT-6671 Report unused constructor parameters

2015-01-27 22:38:27 +03:00

CyclicHierarchy.kt

IDE testdata: s/trait/interface

2015-05-13 16:13:13 +02:00

ExtensionFunctions.kt

== turned into a safe-call

2015-02-10 06:55:46 +01:00

ForRangeConventions.kt

deprecating types after colon

2015-04-29 16:33:24 +02:00

FunctionReturnTypes.kt

Adjust testData to new labels syntax

2015-04-29 14:03:11 +03:00

GenericArgumentConsistency.kt

IDE testdata: s/trait/interface

2015-05-13 16:13:13 +02:00

IncDec.kt

KT-1273 Unused assignment - should highlight assignment instead of expression

2015-05-19 23:45:59 +03:00

IsExpressions.kt

Renamed *.jet to *.kt in test data of JetPsiCheckerTest.

2012-11-12 19:54:22 +04:00

LocalObjects.kt

Prohibit local objects and enum classes

2014-09-01 12:32:52 +04:00

MultipleBounds.kt

IDE testdata: s/trait/interface

2015-05-13 16:13:13 +02:00

NestedObjects.kt

fixed: DEBUG_INFO_ERROR_ELEMENT should be visible in tests

2012-11-20 19:53:03 +04:00

NotFinishedGenericDeclaration.kt

Renamed *.jet to *.kt in test data of JetPsiCheckerTest.

2012-11-12 19:54:22 +04:00

Nullability.kt

Unit.VALUE -> Unit in testData

2014-07-25 17:16:40 +04:00

Objects.kt

Add warning for initializers with obsolete syntax

2015-03-11 17:45:26 +03:00

Override.kt

IDE testdata: s/trait/interface

2015-05-13 16:13:13 +02:00

OverridesAndGenerics.kt

IDE testdata: s/trait/interface

2015-05-13 16:13:13 +02:00

PackageAsExpression.kt

Got rid of "namespace" word in test data.

2014-01-14 18:06:50 +04:00

PackageQualified.kt

Got rid of "namespace" word in test data.

2014-01-14 18:06:50 +04:00

PlatformStaticUsagesRuntime.kt

rename platformStatic to jvmStatic

2015-08-21 16:59:05 +02:00

PrimaryConstructors.kt

Renamed *.jet to *.kt in test data of JetPsiCheckerTest.

2012-11-12 19:54:22 +04:00

ProjectionsInSupertypes.kt

IDE testdata: s/trait/interface

2015-05-13 16:13:13 +02:00

Properties.kt

Add warning for initializers with obsolete syntax

2015-03-11 17:45:26 +03:00

QualifiedExpressions.kt

Make CharSequence.length a function instead of property

2014-11-27 20:38:17 +03:00

QualifiedThis.kt

Control-Flow Analysis: Reuse pseudo-value information for unused expression analysis

2014-07-28 13:07:37 +04:00

QualifiedThisInClosures.kt

Deprecate meaningless or vague-defined operations with Char operands.

2015-05-27 00:58:35 +03:00

Redeclaration.kt

Enum deprecated syntax detection implemented and integrated into DeclarationsChecker.

2015-05-15 16:13:34 +03:00

Redeclarations.kt

Renamed *.jet to *.kt in test data of JetPsiCheckerTest.

2012-11-12 19:54:22 +04:00

ResolveToJava.kt

deprecating types after colon

2015-04-29 16:33:24 +02:00

ResolveTypeInAnnotationArgumentRuntime.kt

Introduce forceResolveLazyTypes into TypeResolutionContext

2015-05-27 08:24:42 +03:00

ReturnTypeMismatchOnOverride.kt

KT-7689 Wrong error message format for type of ... doesn't match to the type of overridden var-property

2015-05-18 19:26:29 +03:00

Shadowing.kt

Refactored tests using Array constructor:

2014-12-11 16:04:03 +03:00

StringTemplates.kt

Renamed *.jet to *.kt in test data of JetPsiCheckerTest.

2012-11-12 19:54:22 +04:00

SupertypeListChecks.kt

Drop traits with required classes

2015-06-17 16:23:58 +03:00

TraitSupertypeList.kt

Drop traits with required classes

2015-06-17 16:23:58 +03:00

trivialHierarchyLoop.kt

Infinite recursion prevented on cyclic class hierarchies

2013-02-11 22:19:43 +04:00

UnreachableCode.kt

Extracted 'generateBooleanOperation'

2014-06-21 12:26:34 +04:00

Unresolved.kt

KT-6671 Report unused constructor parameters

2015-01-27 22:38:27 +03:00

Unused.kt

KT-1273 Unused assignment - should highlight assignment instead of expression

2015-05-19 23:45:59 +03:00

Variance.kt

Don't mark parameters of get/set/propertyDelegated functions as unused.

2015-03-05 18:42:16 +03:00

When.kt

Control-Flow Analysis: Reuse pseudo-value information for unused expression analysis

2014-07-28 13:07:37 +04:00

WhenInEnumInExtensionProperty.kt

Enum deprecated syntax detection implemented and integrated into DeclarationsChecker.

2015-05-15 16:13:34 +03:00