shouldn t `inline fun lt reified T gt foo = T class qualifie kotlinlang #announcements

Channels

100daysofkotlin

100daysofkotlin-2021

algolialibraries

android-architecture

android-databinding

androidgithubprojects

androidx-xprocessing

arrow-contributors

beepiz-libraries

cincinnati-user-group

codemash-precompiler

codingconventions

competitive-programming

competitivecoding

compose-android

compose-desktop

compose-ui-showcase

connect-audit-events

cscenter-course-2016

domain-driven-design

effective-kotlin

effectivekotlin

embedded-kotlin

event21-community-content

fb-internal-demo

fluid-libraries

framework-elide

getting-started

github-workflows-kt

graviton-browser

image-processing

intellij-plugins

intellij-tricks

introduce-yourself

java-to-kotlin-refactoring

jhipster-kotlin

jvm-ir-backend-feedback

k2-early-adopters

kotest-contributors

kotlin-by-example

kotlin-data-storage

kotlin-foundation

kotlin-in-action

kotlin-multiplatform-contest

kotlin-pakistan

kotlinforbeginners

kotlingforbeginners

kotlinprogrammers

kotlintest-devs

kotlinultimatechallenge

kotlinx-datetime

lambdaworld_cadiz

language-evolution

language-proposals

leedskotlinusergroup

library-development

machinelearningbawas

myndocs-oauth2-server

navigation-architecture-component

ohio-kotlin-users

pattern-matching

pocketgitclient

practical-functional-programming

prozis-android-backup

python-contributors

realworldkotlin

refactoring-to-kotlin

refreshversions

russian-kotlinasfirst

skia-wasm-interop-temp

sofl-user-group

spring-security

squarelibraries

stayhungrystayfoolish

strife-discord-lib

swagger-gradle-codegen

swiss-user-group

tricity-kotlin-user-group

Title

r

robstoll

06/17/2019, 4:47 PM

shouldn't

inline fun <reified T> foo() = T::class.qualifiedName

be disallowed if

inline fun <reified T> foo() = T::class

is?

s

Shawn

06/17/2019, 4:50 PM

It’s not disallowed per se, the generics just make things a bit more complicated

inline fun <reified T : Any> foo(): KClass<T> = T::class

is what you want because

KClass<T>

is explicitly bounded to

Any

r

robstoll

06/17/2019, 4:51 PM

exactly, so why is this ignored in

inline fun <reified T> foo() = T::class.qualifiedName

or to ask differently what is the type of

T::class

and how can I use it in other code 😄

s

Shawn

06/17/2019, 4:52 PM

because the return type is inferred as

String?

and you don’t need to infer a projection or bound for

in the return type

the type of

T::class

is

KClass<T>

r

robstoll

06/17/2019, 4:54 PM

I don't think so, as

KClass<T>

requires

to have an upper bound of

Any

-- it's unsafe to ignore that no?

inline fun <reified T> foo() : String? {
    val a: KClass<T> = T::class
    return a.qualifiedName
}

Does not compile

btw.

foo<Int?>()

returns

<http://kotlin.Int|kotlin.Int>

, no mentioning of the nullable part

s

Shawn

06/17/2019, 5:01 PM

I noticed that, unsure how that resolves exactly

especially since

Int?::class

won’t compile

r

robstoll

06/17/2019, 5:02 PM

it looks a bit like a bug no?

s

Shawn

06/17/2019, 5:10 PM

honestly I don’t know enough to say

#announcements Join Slack