Mini normalize
.
Mini normalize
. We don't wanna do scary things such as beta-reduce. And AFAIK the only case that can make us
confuse a type-parameter for a non-parameter is an empty refinement T {}
. So we just strip it when we get it.
(Since version ) see corresponding Javadoc for more information.