Struct MemberLists 

pub struct MemberLists {
    pub properties: Vec<String>,
    pub fields: Vec<String>,
    pub extension_methods: Vec<(String, String, usize, i64)>,
    pub bases: Vec<String>,
    pub type_params: Vec<String>,
    pub base_generic_args: Vec<(String, Vec<String>)>,
    pub method_returns: OrderedMap<String>,
    pub property_types: OrderedMap<FragFact>,
}

The non-method halves of a def’s member surface. methods stays on Def (it IS serialized).

Fields

properties: Vec<String>

The properties value.

fields: Vec<String>

The fields value.

extension_methods: Vec<(String, String, usize, i64)>

Kept here for the same reason as properties/fields: a resolution input, never a serialized def field. Holds the (name, this_type, arity_min, arity_max) QUADRUPLES this def has already contributed, so a partial class re-declaring one of its own entries in a second file can never push the def into its own extension bucket twice and make itself look like two candidates.

bases: Vec<String>

DIRECT base-type names, unioned across a partial class’s declarations, resolved LAZILY by the veto walk.

type_params: Vec<String>

The declaring type’s own type-parameter names (empty for a non-generic declaration). A resolution input, like bases: the ctor-DI resolver’s “is this def itself an open-generic implementation” signal. First declaration wins, like namespace/kind – not unioned across a partial class the way bases is.

base_generic_args: Vec<(String, Vec<String>)>

Per base name that carried a type-argument list, that list’s generic-arg descriptors relative to type_params. First declaration wins, same as type_params.

method_returns: OrderedMap<String>

Method name -> declared return type NAME, the fact that turns a var x = Q.M(...) local into an ordinary receiver. A partial class’s later parts contribute the names the first part did not answer; a name it already answered keeps its answer.

property_types: OrderedMap<FragFact>

Property name -> declared type fact, the second half of a property hop. Merged across a partial class exactly like method_returns.

Trait Implementations

impl Default for MemberLists

fn default() -> MemberLists

Returns the “default value” for a type.