early-prohibit objects with Self-containing supertraits

[arielb1]

Fixes #28576

r? @eddyb

[eddyb]

@bors r+

[bors]

📌 Commit 77e8f33 has been approved by eddyb

[bors]

⌛ Testing commit 77e8f33 with merge 67e1c8f...

[bors]

💔 Test failed - auto-linux-32-nopt-t

[arielb1]

failures:

---- [pretty] run-pass/task-spawn-move-and-copy.rs stdout ----

error: pretty-printed source does not match expected source

Eh, the // Copyr at start of "task-spawn-move-and-copy.rs" got truncated:

ight 2012 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.


#![allow(unknown_features)]
#![feature(box_syntax, std_misc)]

use std::thread;
use std::sync::mpsc::channel;

pub fn main() {
    let (tx, rx) = channel::<usize>();

    let x: Box<isize> = box 1;
    let x_in_parent = &(*x) as *const isize as usize;

    let t =
        thread::spawn(move || {
                      let x_in_child = &(*x) as *const isize as usize;
                      tx.send(x_in_child).unwrap(); });

    let x_in_child = rx.recv().unwrap();
    assert_eq!(x_in_parent , x_in_child);

    t.join();
}

cc @alexcrichton - this looks like a race condition.

@bors retry

[bors]

⌛ Testing commit 77e8f33 with merge 9169e6c...

[bors]

☀️ Test successful - auto-linux-32-nopt-t, auto-linux-32-opt, auto-linux-64-nopt-t, auto-linux-64-opt, auto-linux-64-x-android-t, auto-mac-32-opt, auto-mac-64-nopt-t, auto-mac-64-opt, auto-win-gnu-32-nopt-t, auto-win-gnu-32-opt, auto-win-gnu-64-nopt-t, auto-win-gnu-64-opt, auto-win-msvc-32-opt, auto-win-msvc-64-opt

[brson]

This looks like it turns a scenario that previously ICE'd into an error.