gistfile1.txt

fn normalize_ty(cx: ctxt, t0: t) -> t {
    fold_sty_to_ty(get(t0).struct) { |t|
        normalize_ty(cx, t)
    }
}

#[doc = "                                                                                                                                          
Returns an equivalent type with all the typedefs removed                                                                                           
"]                                                                                                                                                 
fn normalize_types(cx: ctxt, t: t) -> t {                                                                                                          
    fold_ty(cx, t) { |t|                                                                                                                           
        alt t.get().o_def_id {                                                                                                                     
          some(did) {                                                                                                                              
            // This type is defined by a `type` item                                                                                               
            mk_t(cx, t.get().struct)                                                                                                               
          }                                                                                                                                        
          none { t }                                                                                                                               
        }                                                                                                                                          
    }                                                                                                                                              
}