A comment to the effect of under what circumstances `fn` would have this attribute would be helpful.