Creates a type-checked class instantiation.
Creates a type-checked class instantiation.
The type of the class to instantiate (might be path-dependent).
The type arguments (if target is generic).
All argument lists (partial application not supported).
new target[..targs](...argss).
Class instantiations.