declare types for locals?

i need to declare some locals for RequestEvent

import { User } from "lucia";

declare module "@solidjs/start" {
  export interface RequestEventLocals {
    user?: User;
  }
}

import { User } from "lucia";

declare module "@solidjs/start" {
  export interface RequestEventLocals {
    user?: User;
  }
}

import { User } from "lucia";

declare module "@solidjs/start" {
  export interface RequestEventLocals {
    user?: User;
  }
}

import { User } from "lucia";

declare module "@solidjs/start" {
  export interface RequestEventLocals {
    user?: User;
  }
}

that didn't work