You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@xeno-by said:
One cannot write [T: ArrayTag], because then it will need to come from a macro def, and macro defs cannot have context bounds, as we've seen in #5744. Even if we supported context bounds and, consequently, ArrayTag ascriptions, those would transform into free terms, which are prohibited in macro expansions.
The text was updated successfully, but these errors were encountered: