From 4dc2df78fdf76e1a0d35b00aeb8f163b9b462d82 Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Mon, 6 Jun 2016 00:12:35 -0700 Subject: [PATCH] Remove owned_slice.rs Removed upstream in https://github.com/rust-lang/rust/pull/33157 --- syntex_syntax/src/owned_slice.rs | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 syntex_syntax/src/owned_slice.rs diff --git a/syntex_syntax/src/owned_slice.rs b/syntex_syntax/src/owned_slice.rs deleted file mode 100644 index 820c7e7e..00000000 --- a/syntex_syntax/src/owned_slice.rs +++ /dev/null @@ -1,12 +0,0 @@ -// Copyright 2014 The Rust Project Developers. See the COPYRIGHT -// file at the top-level directory of this distribution and at -// http://rust-lang.org/COPYRIGHT. -// -// Licensed under the Apache License, Version 2.0 or the MIT license -// , at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -/// A non-growable owned slice. -pub type OwnedSlice = ::ptr::P<[T]>;