Support <Type as Trait> syntax

[jfecher]

Problem

<Type as Trait> can sometimes be necessary for referring to trait items within a type. For example, once Noir has associated types, users should be able to do <Type as Trait>::MyAssociatedType.

Happy Case

<Type as Trait> syntax is added and usable in a path expression.

Project Impact

None

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response