[ifstream.members] Remove mistakenly added `@`#7711

tkoeppe merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

frederick-vs-ja:ifstream-bad-atfrederick-vs-ja/draft:ifstream-bad-atCopy head branch name to clipboard