trait LoadsAuthModel

Infers user types from the configured guard providers, assuming a guard returns its provider's users.

Upstream's AuthsMethodsExtension, which gives the auth user contracts their models' methods, is omitted so contracts stay honest; user() return types carry the model.