export default createComponent({
  name: "UserAlerts",
  props: {
    user: Object as any as User,
    alerts: Array as any as Alert[],
  },
  setup(props) {
    // Typescript infers typeof 'props' to be:
    // {
    //   user: User,
    //   alerts: Alert[],
    // }
  },
})