Changes for latest rust

Slice syntax
Attribute resolution: `#[a] #[b] #[c] -> #[any(a,b,c)]`