squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

rustc: add a 'tcx parameter to Print.

Browse source
This commit is contained in:
Eduard-Mihai Burtescu 2018-12-04 19:13:55 +02:00
parent 382d24e7d7
commit 297546e62d
2 changed files with 14 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/librustc/ty/print.rs
View file

@ -57,7 +57,7 @@ impl PrintContext {
} }
} }
pub trait Print { pub trait Print<'tcx> {
fn print<F: fmt::Write>(&self, f: &mut F, cx: &mut PrintContext) -> fmt::Result; fn print<F: fmt::Write>(&self, f: &mut F, cx: &mut PrintContext) -> fmt::Result;
fn print_to_string(&self, cx: &mut PrintContext) -> String { fn print_to_string(&self, cx: &mut PrintContext) -> String {
let mut result = String::new(); let mut result = String::new();

23
src/librustc/util/ppaux.rs
View file

@ -212,7 +212,7 @@ macro_rules! gen_display_debug {
} }
macro_rules! gen_print_impl { macro_rules! gen_print_impl {
( ($($x:tt)+) $target:ty, ($self:ident, $f:ident, $cx:ident) $disp:block $dbg:block ) => { ( ($($x:tt)+) $target:ty, ($self:ident, $f:ident, $cx:ident) $disp:block $dbg:block ) => {
impl<$($x)+> Print for $target { impl<$($x)+> Print<'tcx> for $target {
fn print<F: fmt::Write>(&$self, $f: &mut F, $cx: &mut PrintContext) -> fmt::Result { fn print<F: fmt::Write>(&$self, $f: &mut F, $cx: &mut PrintContext) -> fmt::Result {
if $cx.is_debug $dbg if $cx.is_debug $dbg
else $disp else $disp
@ -220,7 +220,7 @@ macro_rules! gen_print_impl {
} }
}; };
( () $target:ty, ($self:ident, $f:ident, $cx:ident) $disp:block $dbg:block ) => { ( () $target:ty, ($self:ident, $f:ident, $cx:ident) $disp:block $dbg:block ) => {
impl Print for $target { impl Print<'tcx> for $target {
fn print<F: fmt::Write>(&$self, $f: &mut F, $cx: &mut PrintContext) -> fmt::Result { fn print<F: fmt::Write>(&$self, $f: &mut F, $cx: &mut PrintContext) -> fmt::Result {
if $cx.is_debug $dbg if $cx.is_debug $dbg
else $disp else $disp
@ -527,12 +527,15 @@ impl PrintContext {
Ok(()) Ok(())
} }
fn in_binder<'a, 'gcx, 'tcx, T, U, F>(&mut self, // FIXME(eddyb) replace `'almost_tcx` with `'tcx` when possible/needed.
f: &mut F, fn in_binder<'a, 'gcx, 'tcx, 'almost_tcx, T, U, F>(
tcx: TyCtxt<'a, 'gcx, 'tcx>, &mut self,
original: &ty::Binder<T>, f: &mut F,
lifted: Option<ty::Binder<U>>) -> fmt::Result tcx: TyCtxt<'a, 'gcx, 'tcx>,
where T: Print, U: Print + TypeFoldable<'tcx>, F: fmt::Write original: &ty::Binder<T>,
lifted: Option<ty::Binder<U>>,
) -> fmt::Result
where T: Print<'almost_tcx>, U: Print<'tcx> + TypeFoldable<'tcx>, F: fmt::Write
{ {
fn name_by_region_index(index: usize) -> InternedString { fn name_by_region_index(index: usize) -> InternedString {
match index { match index {
@ -627,7 +630,7 @@ pub fn parameterized<F: fmt::Write>(f: &mut F,
PrintContext::new().parameterized(f, substs, did, projections) PrintContext::new().parameterized(f, substs, did, projections)
} }
impl<'a, T: Print> Print for &'a T { impl<'a, 'tcx, T: Print<'tcx>> Print<'tcx> for &'a T {
fn print<F: fmt::Write>(&self, f: &mut F, cx: &mut PrintContext) -> fmt::Result { fn print<F: fmt::Write>(&self, f: &mut F, cx: &mut PrintContext) -> fmt::Result {
(*self).print(f, cx) (*self).print(f, cx)
} }
@ -1466,7 +1469,7 @@ define_print! {
} }
define_print! { define_print! {
('tcx, T: Print + fmt::Debug, U: Print + fmt::Debug) ty::OutlivesPredicate<T, U>, ('tcx, T: Print<'tcx> + fmt::Debug, U: Print<'tcx> + fmt::Debug) ty::OutlivesPredicate<T, U>,
(self, f, cx) { (self, f, cx) {
display { display {
print!(f, cx, print(self.0), write(" : "), print(self.1)) print!(f, cx, print(self.0), write(" : "), print(self.1))