CREATE MIGRATION m1oinxw74yh5kzyh63mbn2m3kdqpoapkeyo7jvhkp2gq5rjkkvdi3q
    ONTO m1qbhq4cgpt5abjvffrrlwaldgec4bfmlai5izca3exry64rofflua
{
  ALTER TYPE default::User {
      CREATE REQUIRED PROPERTY stripe_id: std::str {
          SET REQUIRED USING (<std::str>{'Hello'});
      };
  };
};