#![feature(optin_builtin_traits)]

pub unsafe auto trait Bar {}