@@ -408,14 +408,14 @@ impl<'tcx> Place<'tcx> {
408408 self . as_ref ( ) . project_deeper ( more_projections, tcx)
409409 }
410410
411- pub fn ty_from < D : ? Sized > (
411+ pub fn ty_from < D > (
412412 local : Local ,
413413 projection : & [ PlaceElem < ' tcx > ] ,
414414 local_decls : & D ,
415415 tcx : TyCtxt < ' tcx > ,
416416 ) -> PlaceTy < ' tcx >
417417 where
418- D : HasLocalDecls < ' tcx > ,
418+ D : ? Sized + HasLocalDecls < ' tcx > ,
419419 {
420420 PlaceTy :: from_ty ( local_decls. local_decls ( ) [ local] . ty ) . multi_projection_ty ( tcx, projection)
421421 }
@@ -529,9 +529,9 @@ impl<'tcx> PlaceRef<'tcx> {
529529 Place { local : self . local , projection : tcx. mk_place_elems ( new_projections) }
530530 }
531531
532- pub fn ty < D : ? Sized > ( & self , local_decls : & D , tcx : TyCtxt < ' tcx > ) -> PlaceTy < ' tcx >
532+ pub fn ty < D > ( & self , local_decls : & D , tcx : TyCtxt < ' tcx > ) -> PlaceTy < ' tcx >
533533 where
534- D : HasLocalDecls < ' tcx > ,
534+ D : ? Sized + HasLocalDecls < ' tcx > ,
535535 {
536536 Place :: ty_from ( self . local , self . projection , local_decls, tcx)
537537 }
@@ -630,19 +630,19 @@ impl<'tcx> Operand<'tcx> {
630630 if let ty:: FnDef ( def_id, args) = * const_ty. kind ( ) { Some ( ( def_id, args) ) } else { None }
631631 }
632632
633- pub fn ty < D : ? Sized > ( & self , local_decls : & D , tcx : TyCtxt < ' tcx > ) -> Ty < ' tcx >
633+ pub fn ty < D > ( & self , local_decls : & D , tcx : TyCtxt < ' tcx > ) -> Ty < ' tcx >
634634 where
635- D : HasLocalDecls < ' tcx > ,
635+ D : ? Sized + HasLocalDecls < ' tcx > ,
636636 {
637637 match self {
638638 & Operand :: Copy ( ref l) | & Operand :: Move ( ref l) => l. ty ( local_decls, tcx) . ty ,
639639 Operand :: Constant ( c) => c. const_ . ty ( ) ,
640640 }
641641 }
642642
643- pub fn span < D : ? Sized > ( & self , local_decls : & D ) -> Span
643+ pub fn span < D > ( & self , local_decls : & D ) -> Span
644644 where
645- D : HasLocalDecls < ' tcx > ,
645+ D : ? Sized + HasLocalDecls < ' tcx > ,
646646 {
647647 match self {
648648 & Operand :: Copy ( ref l) | & Operand :: Move ( ref l) => {
@@ -674,7 +674,7 @@ impl<'tcx> ConstOperand<'tcx> {
674674}
675675
676676///////////////////////////////////////////////////////////////////////////
677- /// Rvalues
677+ // Rvalues
678678
679679pub enum RvalueInitializationState {
680680 Shallow ,
@@ -721,9 +721,9 @@ impl<'tcx> Rvalue<'tcx> {
721721 }
722722 }
723723
724- pub fn ty < D : ? Sized > ( & self , local_decls : & D , tcx : TyCtxt < ' tcx > ) -> Ty < ' tcx >
724+ pub fn ty < D > ( & self , local_decls : & D , tcx : TyCtxt < ' tcx > ) -> Ty < ' tcx >
725725 where
726- D : HasLocalDecls < ' tcx > ,
726+ D : ? Sized + HasLocalDecls < ' tcx > ,
727727 {
728728 match * self {
729729 Rvalue :: Use ( ref operand) => operand. ty ( local_decls, tcx) ,
0 commit comments