error: internal compiler error: node_id_to_type: no type for node expr A::C (id=61)

[ghost]

Host OS: Linux Mint 15 x86_64
rustc version: rustc 0.10-pre (6f1c06d 2014-04-03 03:42:02 -0700)

Test case:

use A::B;
pub mod A {
  pub trait B {
    fn new() -> Self;
  }
  pub struct C;
  impl B for C {
    fn new() -> C { C }
  }
}

pub fn test(param: ~A::B) {}

fn main() {
  test(A::C = B::new());
}

[ftxqxd]

Reduced test case (with help from creduce):

mod A {
    struct C;
}
fn main() {
    A::C = 1;
}

[Twisol]

Neither example currently causes an ICE:

Reduced:

$ rustc foo.rs
foo.rs:5:5: 5:13 error: illegal left-hand side expression [E0070]
foo.rs:5     A::C = 1;
             ^~~~~~~~
foo.rs:5:12: 5:13 error: mismatched types: expected `A::C`, found `_` (expected struct A::C, found integral variable)
foo.rs:5     A::C = 1;
                    ^
error: aborting due to 2 previous errors

Original (adjusting ~ to Box):

$ rustc foo.rs
foo.rs:15:8: 15:23 error: illegal left-hand side expression [E0070]
foo.rs:15   test(A::C = B::new());
                 ^~~~~~~~~~~~~~~
foo.rs:15:8: 15:23 error: mismatched types: expected `Box<A::B>`, found `()` (expected box, found ())
foo.rs:15   test(A::C = B::new());
                 ^~~~~~~~~~~~~~~
error: aborting due to 2 previous errors

Version info:

$ rustc --verbose --version
rustc 0.13.0-nightly (c6c786671 2015-01-04 00:50:59 +0000)
binary: rustc
commit-hash: c6c786671d692d7b13c2e5c68a53001327b4b125
commit-date: 2015-01-04 00:50:59 +0000
host: x86_64-apple-darwin
release: 0.13.0-nightly