Struct ShapeInfo 

pub struct ShapeInfo { /* private fields */ }

One declared struct shape: fields in declaration order, name -> declared type (Ty::Unknown if the field’s own annotation doesn’t resolve — e.g. an unrecognized type name, already flagged elsewhere by annotations::check’s E061).

Originally pub(crate) (issue #831) so ref_projection’s strict-mode path-segment check could reuse this exact shape table for ref lvalue-path field segments — “reuse existing machinery” (docs/t1e-spec.md §6) rather than building a second one. Promoted to a crate-public API (issue #858) so out-of-crate tooling (e.g. brink-ide struct-field ref-path completion, T1e-3’s deferred “path continuations after a ./[” item) can query declared shapes without duplicating this table.

Implementations

impl ShapeInfo

pub fn field_ty(&self, name: &str) -> Option<&Ty>

The declared type of name, or None if the shape has no such field.

pub fn has_field(&self, name: &str) -> bool

Whether the shape declares a field named name.