Change:
cc
cc too, presumably a consequence of the trait reform/new vtable lookup code
Hmm, yes. Probably we can fix this by just...allowing it to skolemize an open existential type. I just didn't expect this to ever happen.
actually, while debugging this I remembered that it is not possible to make an object out of an unsized type. We need to add a check for this I guess!
Explanation from PR: In the general case, at least, it is not possible to make an object out of an unsized type. This is because the object type would have to store the fat pointer information for the self value and the vtable -- meaning it'd have to be a fat pointer with three words -- but for the compiler to know that the object requires three words, it would have to know the self-type of the object (is self a thin or fat pointer?), which of course it doesn't.

Discussion:
// Types of fields (other than the last) in a struct must be sized. FieldSized, <ins> // Only Sized types can be made into objects ObjectSized, </ins> } pub type Obligations<'tcx> = subst::VecPerParamSpace<Obligation<'tcx>>;

} ty::UnsizeVtable(ref ty_trait, self_ty) => { vtable::check_object_safety(self.tcx(), ty_trait, span); // If the type is `Foo+'a`, ensures that the type // being cast to `Foo+'a` implements `Foo`: vtable::register_object_cast_obligations(self, <del> span, ty_trait, self_ty); </del> <ins> span, ty_trait, self_ty); </ins> // If the type is `Foo+'a`, ensures that the type // being cast to `Foo+'a` outlives `'a`:

use std::rc::Rc; use syntax::ast; use syntax::codemap::Span; <ins> use util::common::ErrorReported; </ins> use util::ppaux::{UserString, Repr, ty_to_string}; pub fn check_object_cast<'a, 'tcx>(fcx: &FnCtxt<'a, 'tcx>,

referent_ty: Ty<'tcx>) -> Rc<ty::TraitRef<'tcx>> { <ins> // We can only make objects from sized types. let sized_obligation = traits::obligation_for_builtin_bound( fcx.tcx(), traits::ObligationCause::new(span, traits::ObjectSized), referent_ty, ty::BoundSized); match sized_obligation { Ok(sized_obligation) => { fcx.register_obligation(sized_obligation); } Err(ErrorReported) => { } } </ins> // This is just for better error reporting. Kinda goofy. The object type stuff // needs some refactoring so there is a more convenient type to pass around. let object_trait_ty =

"only the last field of a struct or enum variant  may have a dynamically sized type") } <ins> traits::ObjectSized => { span_note!(tcx.sess, obligation.cause.span, "only sized types can be made into objects"); } </ins> } }

use syntax::visit; use syntax::visit::Visitor; <del> // An error has already been reported to the user, so no need to continue checking. </del> <ins> // Useful type to use with `Result<>` indicate that an error has already // been reported to the user, so no need to continue checking. </ins> #[deriving(Clone,Show)] pub struct ErrorReported;

<ins> // 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 <LICENSE-APACHE or // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your // option. This file may not be copied, modified, or distributed // except according to those terms. // Test that we cannot create objects from unsized types. trait Foo for Sized? {} impl Foo for str {} fn test<Sized? T: Foo>(t: &T) { let u: &Foo = t; //~^ ERROR `core::kinds::Sized` is not implemented for the type `T` let v: &Foo = t as &Foo; //~^ ERROR `core::kinds::Sized` is not implemented for the type `T` } fn main() { let _: &[&Foo] = &["hi"]; //~^ ERROR `core::kinds::Sized` is not implemented for the type `str` let _: &Foo = "hi" as &Foo; //~^ ERROR `core::kinds::Sized` is not implemented for the type `str` } </ins>

fn main() { let _x = "test" as &::std::any::Any; //~^ ERROR the trait `core::kinds::Sized` is not implemented for the type `str` <del> //~^^ NOTE the trait `core::kinds::Sized` must be implemented for the cast to the object type </del> <ins> //~^^ ERROR the trait `core::kinds::Sized` is not implemented for the type `str` </ins> }