X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=compiler%2Frustc_middle%2Fsrc%2Fty%2Fcodec.rs;h=75f2d45eadb81dbdea74246cedd6188b6002b6eb;hb=53e4b9dd74c29cc9308b8d0f10facac70bb101a7;hp=b22b3961f34ea9a93aa61a0831e88b1089beabcf;hpb=aff003becd8b6bf803202e958623031274ad69c9;p=rust.git diff --git a/compiler/rustc_middle/src/ty/codec.rs b/compiler/rustc_middle/src/ty/codec.rs index b22b3961f34..75f2d45eadb 100644 --- a/compiler/rustc_middle/src/ty/codec.rs +++ b/compiler/rustc_middle/src/ty/codec.rs @@ -345,6 +345,14 @@ fn decode(decoder: &mut D) -> &'tcx Self { } } +impl<'tcx, D: TyDecoder>> RefDecodable<'tcx, D> for [(ty::Clause<'tcx>, Span)] { + fn decode(decoder: &mut D) -> &'tcx Self { + decoder.interner().arena.alloc_from_iter( + (0..decoder.read_usize()).map(|_| Decodable::decode(decoder)).collect::>(), + ) + } +} + impl<'tcx, D: TyDecoder>> RefDecodable<'tcx, D> for ty::List {