I do know in State of Wisconsin do required AT { air tight } for any area where it will be in concat with insulating materals { it don't matter if batt or blow in type }
And in France they just adopted not too long ago as well for recessed cans I do belive they have few additonal code requirement as well.

Merci,Marc

Pas de problme,il marche n'est-ce pas?"(No problem, it works doesn't it?)