an `AttributeOf` form

[KotlinIsland]

like keyof in ts:

def f[T](t: T, a: AttributeOf[T]):

f(1, "real")  # ok
f(1, "fake")  # error