···165165 //
166166 // If the Server successfully authenticated the User,
167167 // initialize its Session, and redirect them to the correct route.
168168- Model(session: session.Pending(on_success:, on_failure: _), ..),
168168+ Model(session: session.Pending(on_success:, ..), ..),
169169 UserRestoredSession(Ok(session))
170170 -> #(
171171 Model(..model, session:, route: on_success, page: page.init(on_success)),
···174174175175 // If it fails, start the Session as a Guest and redirect
176176 // the User accordingly, usually to the Login Page.
177177- Model(session: session.Pending(on_success: _, on_failure:), ..),
177177+ Model(session: session.Pending(on_failure:, ..), ..),
178178 UserRestoredSession(Error(_))
179179- -> #(
180180- Model(
181181- ..model,
182182- route: on_failure,
183183- page: page.init(on_failure),
184184- session: session.Guest,
185185- ),
186186- modem.push(route.path(on_failure), option.None, option.None),
187187- )
179179+ -> {
180180+ let session = session.Guest
181181+ let route = on_failure
182182+183183+ let model = Model(..model, route:, page: page.init(route), session:)
184184+ #(model, modem.push(route.path(route), option.None, option.None))
185185+ }
188186189187 // User ended their Session and token has been removed.
190188 // Redirect user to the Home page.
···218216 let route = case model.session, route {
219217 // If the route require the User to be authenticated,
220218 // redirect them to the Login page.
221221- session.Guest, _ | session.Pending(_, _), _ if protected -> route.Login
219219+ session.Guest, _ | session.Pending(..), _ if protected -> route.Login
222220 // If the User is *already* authenticated but navigating to
223221 // the Login page, redirect them to Dashboard instead.
224222 session.Authenticated(_), route.Login -> route.Dashboard