Types & classes — github.com/danielhenrymantilla/polonius-the-crab.rs

CodeHub MCPcopy Create free account

hub / github.com/danielhenrymantilla/polonius-the-crab.rs / types & classes

Types & classes12 in github.com/danielhenrymantilla/polonius-the-crab.rs

⨍ Functions 15 ◇ Types & classes 12

src/macros.rs:673

tests/lending_iterator.rs:29

InterfaceLendingIterator

tests/lending_iterator.rs:9

InterfaceLendingIteratorItem

tests/lending_iterator.rs:5

ClassPlaceholder

Placeholder type to be used when _constructing_ a [`PoloniusResult::Owned`]. [`PoloniusResult::Owned`]: type@PoloniusResult::Owned Since there is no

EnumPoloniusResult

Output type of both the [`polonius()`] function and the closure it takes. It represents the conceptual code-flow / branch disjunction between: - hav

InterfaceResidual

Trait defined in this direction to hopefully minimize type inference errors.

ClassWindowsMut

tests/lending_iterator.rs:67

Enumcannot_use__polonius_break_dependentǃ__without_a_break_type_annotation_on__polonius_loopǃ

src/macros.rs:669