Member predicate InfInstance::Type::inst

Convenience method to cast this to the infinite instance type T.

Specifies bindingsets to allow for two-way bindings, so that the underlying instance value can be constrained to a finite set of values and vice versa. Specified as final for performance and maintainability reasons.