[FIR] Fix CAST_NEVER_SUCCEEDS for definitely not null types · df43226a08 - kotlin-fork - Azalea's Gitea

azalea/kotlin-fork

[FIR] Fix CAST_NEVER_SUCCEEDS for definitely not null types

This commit is contained in:

Ivan Kochurkin

2023-10-26 20:37:26 +02:00

committed by

Space Team

parent 0efcad51e9

commit df43226a08

7 changed files with 38 additions and 2 deletions

									
										compiler/testData/diagnostics/tests/cast/neverSucceeds/DefinitelyNotNullTypes.kt
									
Vendored

		+6
		
												View File
												
				@@ -0,0 +1,6 @@

				// FIR_IDENTICAL

				fun <T, K> test(x: T & Any) {

				    x <!USELESS_CAST!>as (T & Any)<!>

				    x <!UNCHECKED_CAST!>as (K & Any)<!>

				}