@tco does not bring any guarantees to the caller, so you might as well annotate the call-site with some compiler specific feature.
actually, annotating the call itself seems to have alot more sense judging from described OP inspiration for the feature.
