```override fun <T : ViewModel?> create( ...

# getting-started

[Dontsu]

override fun <T : ViewModel?> create(
    key: String,
    modelClass: Class<T>,
    handle: SavedStateHandle
): T & Any {
    TODO("Not yet implemented")
}

I've never seen that kind of type T & Any until now. What does the & mean in this generic type? Does it have just common & meaning? or a bit operator?

[Vampire]

T and Any, so definitely not null

[ephemient]

https://kotlinlang.org/docs/whatsnew17.html#stable-definitely-non-nullable-types

[ephemient]

it's a special case of intersection types

[Dontsu]

Thank you guys! :)

[Stephan Schröder]

not only a special case of intersection types, but also the only case (& Any) implemented so far.