It also doesn't support inlined assertions, referring to existing classes, custom validations, opaque types etc.