why are non-runtime-available types authorized as ...

# reflect

[desseim]

why are non-runtime-available types authorized as reified parameters though ? now I find this very confusing…
(should we discuss this in #C0922A726 or somewhere else ?)