meta.language.model

3 anchors

Specification anchors and declared coverage
Anchor	Implementation	Tests
meta.language.model (3)	3 Implemented	3 Implemented
`forbidden_paths`	Implemented	Implemented
`forbid transitive crate::module::Class::method;` prohibits reaching its target over any permitted nonempty call path. A rejected path identifies the offending method sequence. Read in specification context
`inherited_prohibitions`	Implemented	Implemented
An overriding implementation inherits the prohibitions of the base method. Prohibitions record design intent even when the permitted graph already excludes the target. Adding a permitted edge must still fail validation if it creates a forbidden path. Read in specification context
`virtual_dispatch`	Implemented	Implemented
The checker resolves declared calls conservatively, including every known overriding implementation in the supplied model. Read in specification context