SE-0176は以前rintaroさんが言ってた -enforce-exclusivity=checked のやつか。