asyncとthrowsは式の型で、他のアノテーションとか修飾子の類とは全然違うんじゃないの