|
|
|
|
|
|
by dazamarquez
1096 days ago
|
|
|
"phantom" and "phantom type" are well-understood terms that describe a type with a type parameter that isn't used in the type definition. "spectral" is a pun (phantom -> spectral). It has nothing to do with runtime representation of types. |
|
|