VP
А ide ничего не говорит? 🤔
Size: a a a
2020 November 16
(
А ide ничего не говорит? 🤔
нет
(
если пытаться совсем внаглую
тогда говорит
val a: Set<A> = emptySet<B>()
val b: Set<B> = a
тогда говорит
с#
может из-за стирания типов ?
(
может из-за стирания типов ?
может и из-за стирания типов
эх
эх
VP
Да не, оно же в рантайме, какое стирание
с#
Да не, оно же в рантайме, какое стирание
ну там идёт деструктор
(
Да не, оно же в рантайме, какое стирание
ну типа, это воспроизводится только при деструктуризации из типа с дженериком (пары в данном случае)
VP
ну типа, это воспроизводится только при деструктуризации из типа с дженериком (пары в данном случае)
Ну это либо странность языка, либо баг в компиляторе
VP
С таким можно на YT идти. Поведение весьма неожиданное.
с#
С таким можно на YT идти. Поведение весьма неожиданное.
если считать, что деструкторы - сахар для component1(), ..., то можно написать такой код
with(Any() to emptySet<B>) {
val et1: Any = component1()
val b: Set<A> = component2() // Set of ??? из-за стирания типов
}
with(Any() to emptySet<B>) {
val et1: Any = component1()
val b: Set<A> = component2() // Set of ??? из-за стирания типов
}
с#
наверное можно в таком случае ставить варн об unchecked
AN
Дела давно минувших дней :)
VP
Узнаю Kotlin
Priority: Major
Type: Bug
Updated 4 years ago
Priority: Major
Type: Bug
Updated 4 years ago
(
Дела давно минувших дней :)
до сих пор Open :^\
AN
до сих пор Open :^\
Пишите пул реквесты :)
с#
лайки ставим
VP
Ну это даже IR не оправдать
с#
и пишем issue is still an issue