fn write_ty_to_tcx<'tcx>(tcx: &ty::ctxt<'tcx>, node_id: ast::NodeId, ty: Ty<'tcx>) {
    debug!("write_ty_to_tcx({}, {})", node_id, ppaux::ty_to_string(tcx, ty));
    assert!(!ty::type_needs_infer(ty));
    tcx.node_type_insert(node_id, ty);
}
// Functions that write types into the node type table
Functions that write types into the node type table
Functions that write types into the node type table
fn write_ty_to_tcx<'tcx>(tcx: &ty::ctxt<'tcx>, node_id: ast::NodeId, ty: Ty<'tcx>) {
    debug!("write_ty_to_tcx({}, {})", node_id, ppaux::ty_to_string(tcx, ty));
    assert!(!ty::type_needs_infer(ty));
    tcx.node_type_insert(node_id, ty);
}
fn write_ty_to_tcx < ' tcx > ( tcx : & ty :: ctxt < ' tcx > , node_id : ast :: NodeId , ty : Ty < ' tcx > ) { debug ! ( " " node_id ppaux ty_to_string ( tcx ty ) ) ; assert ! ( ty type_needs_infer ( ty ) ) ; tcx . node_type_insert ( node_id , ty ) ; }
Functions that write types into the node type table
Functions that write types into the node type table
tcx
&ty::ctxt<'tcx>
node_id
ast::NodeId
ty
Ty<'tcx>