@jw yeah I meant more in conjunction not as a replacement. Instead of having @Inject delegates could be used?

Quick question, I was in a scenario today where I had a data class with parameters that matched a constructor of a different object

So I tried doing something crazy like doing

val bar = Bar(*foo)

, or just trying to destruct foo inline so that I don't need

val (x, y) = foo; val bar = Bar(x, y)

Is that not possible?

And if it isn't, are there chances of it ever becoming possible?

This is very specific and narrow use case and I don't think saving a line there would be included as a language feature.

figured 😕

@redrield Still there are two requests for that: https://youtrack.jetbrains.com/issue/KT-8214 https://youtrack.jetbrains.com/issue/KT-15471

seems deeply-complex generics absolutely confound the compiler

@User uploaded a file:

@User uploaded a file:

@User uploaded a file:

@User uploaded a file:

@User uploaded a file:

I don't see why this won't compile

Can anyone here help?

I tried to compile it with

kotlinc pasted_image_at_2017_01_27_22_09.png -include-runtime -d test.jar

and it doesn't work for me either.

👌

here's the code: https://github.com/BlueHuskyStudios/Husky-UI/blob/for-example/slack/2017-01-27/JVM/src/org/bh/tools/ui/swing/geometry/Oval.kt

See also: - https://github.com/BlueHuskyStudios/Blue-Base/blob/for-example/slack/2017-01-27/JVM/src/org/bh/tools/base/math/geometry/Rect.kt - https://github.com/BlueHuskyStudios/Blue-Base/blob/for-example/slack/2017-01-27/JVM/src/org/bh/tools/base/math/geometry/Point.kt - https://github.com/BlueHuskyStudios/Blue-Base/blob/for-example/slack/2017-01-27/JVM/src/org/bh/tools/base/math/geometry/Size.kt

@benleggiero

Rect<Fraction, Point<Fraction>, Size<Fraction>>

was required, but you're passing

FractionRect

which is

Rect<Fraction, ComputablePoint<Fraction>, ComputableSize<Fraction>>

right, and

ComputablePoint<Fraction>

is

Point<Fraction>

and

ComputableSize<Fraction>

is

Size<Fraction>

... right?

Yes, but

Rect<..., ComputablePoint<...>>

is not

Rect<..., Point<...>>

because it's invariant on that type parameter

so

Some<String>

wouldn't be

Some<CharSequence>

?

and is there a way to make type parameters variant?

Same as

List<String>

is not

List<Any>

.

@mg6maciej

List<String>

is

List<Any>

, because list is declared covariant:

List<out T>

Or it is 😉

😭

Yeah, just use

in

before your type.