attempt to allow qualified interface types for static inner interfaces
in satisfies clause