ICE in retrieving ambiguous associated type - E0223

[MahadMuhammad]

ICE in retrieving ambiguous associated type - E0223

• You can view the same on compiler-explorer
• Previous Work Rustc behaviour mismatch with type alias #843

---

Code

#![allow(unused)]
fn main() {
trait Hello {
    type Who;

    fn hello() -> <i32>::You; // error[E0223]: ambiguous associated type
}
}

---

Meta

• What version of Rust GCC were you using, git sha d674058
• gccrs (Compiler-Explorer-Build-gcc-d67405831843e84a419be52743fe8bf43dc9d9ae-binutils-2.42) 14.0.1 20240309 (experimental)

---

Error output

• Internal Compiler Error.

Backtrace

  
➜  gccrs-build gcc/crab1 /home/mhd/Desktop/gccrs/gcc/testsuite/rust/external/t.rs                  
crab1: internal compiler error: in get_as_type_path, at rust/ast/rust-path.h:1220
0x13992ce Rust::AST::QualifiedPathType::get_as_type_path()
        ../../gccrs/gcc/rust/ast/rust-path.h:1220
0x157cac2 Rust::HIR::ASTLowerQualifiedPathInType::visit(Rust::AST::QualifiedPathInType&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/hir/rust-ast-lower-type.cc:148
0x13803dd Rust::AST::QualifiedPathInType::accept_vis(Rust::AST::ASTVisitor&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/ast/rust-path.cc:356
0x157c9d2 Rust::HIR::ASTLowerQualifiedPathInType::translate(Rust::AST::QualifiedPathInType&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/hir/rust-ast-lower-type.cc:131
0x157d5e0 Rust::HIR::ASTLoweringType::visit(Rust::AST::QualifiedPathInType&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/hir/rust-ast-lower-type.cc:287
0x13803dd Rust::AST::QualifiedPathInType::accept_vis(Rust::AST::ASTVisitor&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/ast/rust-path.cc:356
0x157c3c2 Rust::HIR::ASTLoweringType::translate(Rust::AST::Type&, bool)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/hir/rust-ast-lower-type.cc:185
0x157331e Rust::HIR::ASTLowerTraitItem::visit(Rust::AST::Function&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/hir/rust-ast-lower-implitem.cc:243
0x12a59f0 Rust::AST::Function::accept_vis(Rust::AST::ASTVisitor&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/ast/rust-ast.cc:4727
0x1573182 Rust::HIR::ASTLowerTraitItem::translate(Rust::AST::AssociatedItem&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/hir/rust-ast-lower-implitem.cc:212
0x156b43f Rust::HIR::ASTLoweringItem::visit(Rust::AST::Trait&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/hir/rust-ast-lower-item.cc:593
0x12a5d10 Rust::AST::Trait::accept_vis(Rust::AST::ASTVisitor&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/ast/rust-ast.cc:4811
0x1567b62 Rust::HIR::ASTLoweringItem::translate(Rust::AST::Item&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/hir/rust-ast-lower-item.cc:38
0x1581780 Rust::HIR::ASTLoweringStmt::visit(Rust::AST::Trait&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/hir/rust-ast-lower-stmt.cc:145
0x12a5d10 Rust::AST::Trait::accept_vis(Rust::AST::ASTVisitor&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/ast/rust-ast.cc:4811
0x1581106 Rust::HIR::ASTLoweringStmt::translate(Rust::AST::Stmt*, bool*)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/hir/rust-ast-lower-stmt.cc:32
0x1557207 Rust::HIR::ASTLoweringBlock::visit(Rust::AST::BlockExpr&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/hir/rust-ast-lower.cc:116
0x12a53c0 Rust::AST::BlockExpr::accept_vis(Rust::AST::ASTVisitor&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/ast/rust-ast.cc:4529
0x155935f Rust::HIR::ASTLoweringBlock::translate(Rust::AST::BlockExpr&, bool*)
        ../../gccrs/gcc/rust/hir/rust-ast-lower-block.h:37
0x156a4c4 Rust::HIR::ASTLoweringItem::visit(Rust::AST::Function&)
        /home/mhd/Desktop/gccrs-build/gcc/../../gccrs/gcc/rust/hir/rust-ast-lower-item.cc:443
Please submit a full bug report, with preprocessed source (by using -freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

---