diff --git a/src/librustc/ty/sty.rs b/src/librustc/ty/sty.rs index d52208c05d57b725dc88b9344345c707a2120104..9680632ec4dcc59cb901cc3822e025f511660940 100644 --- a/src/librustc/ty/sty.rs +++ b/src/librustc/ty/sty.rs @@ -906,10 +906,10 @@ pub fn is_uninhabited(&self, _cx: TyCtxt) -> bool { // more complete. match self.sty { TyEnum(def, _) | TyStruct(def, _) => def.is_empty(), - TyNever => true, - // FIXME(canndrew): There's no reason why this can't be uncommented, it's tested and it - // doesn't break anything. But I'm keeping my changes small for now. + // FIXME(canndrew): There's no reason why these can't be uncommented, they're tested + // and they don't break anything. But I'm keeping my changes small for now. + //TyNever => true, //TyTuple(ref tys) => tys.iter().any(|ty| ty.is_uninhabited(cx)), // FIXME(canndrew): this line breaks core::fmt