Function rustc::middle::typeck::check::check_representable[src]
pub fn check_representable(tcx: &ctxt, sp: Span, item_id: NodeId, designation: &str) -> bool
Checks whether a type can be represented in memory. In particular, it
identifies types that contain themselves without indirection through a
pointer, which would mean their size is unbounded. This is different from
the question of whether a type can be instantiated. See the definition of
check_instantiable.