Expand description
Check properties that are required by built-in traits and set up data structures required by type-checking/codegen.
Structsยง
- Checker ๐
Functionsยง
- assert_
field_ ๐type_ is_ copy - assert_
field_ ๐type_ is_ reborrow - check_
trait ๐ - coerce_
shared_ ๐info - coerce_
unsized_ ๐info - collect_
struct_ ๐data_ fields - generic_
lifetime_ ๐params_ count - infringing_
fields_ ๐error - is_
from_ ๐coerce_ pointee_ derive - reborrow_
info ๐ - structurally_
normalize_ ๐ty - trait_
impl_ ๐lifetime_ params_ count - visit_
implementation_ ๐of_ coerce_ pointee_ validity - visit_
implementation_ ๐of_ coerce_ shared - visit_
implementation_ ๐of_ coerce_ unsized - visit_
implementation_ ๐of_ const_ param_ ty - visit_
implementation_ ๐of_ copy - visit_
implementation_ ๐of_ dispatch_ from_ dyn - visit_
implementation_ ๐of_ drop - visit_
implementation_ ๐of_ reborrow - visit_
implementation_ ๐of_ unpin