Giters

Rust-GCC / gccrs

GCC Front-End for Rust

Home Page:https://rust-gcc.github.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Additional trait bounds with auto traits are unhandled

CohenArthur opened this issue · comments

commented 
trait A {}

impl dyn A + Send {}
impl dyn A + Send + Sync {}

this code should work, but gccrs reaches an unreachable in the name resolver. Note that this code should work ONLY because the additional trait bounds are auto traits - it would not work if the bound was dyn A + B + C for example.