pub fn limits<'tcx>(tcx: TyCtxt<'tcx>, key: limits<'tcx>) -> String