https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77875
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- Yes, probably, but it doesn't seem useful for T{i} to do anything except bind a reference of type T to i. Issue 1521 seems to be a problem with the wording, such that it doesn't apply to references, but I doubt it will be resolved by saying that T{i} does anything surprising. But maybe I'm missing something.