kit

kit
git clone https://git.ryansepassi.com/git/kit.git
Log | Files | Refs | README

68_field_attrs.toy (191B)

      1 record Padded {
      2   x @[.align(16)]: i64,
      3   y: i64,
      4 }
      5 
      6 fn __user_main(): i64 {
      7   if @alignof<Padded>() >= 16 {
      8     return 42;
      9   }
     10   return 1;
     11 }
     12 
     13 fn main(): i32 { return __user_main() as i32; }