pub fn limits<'tcx>(_: TyCtxt<'tcx>, _: &limits<'tcx>) -> bool