Fix exhaustivity

adamw · adamw · commit a3e009dc686e · 2022-01-31T16:03:55.000+01:00
diff --git a/core/src/main/scala/com/softwaremill/session/SessionManager.scala b/core/src/main/scala/com/softwaremill/session/SessionManager.scala
@@ -207,11 +207,11 @@ sealed trait SessionResult[+T] {
 }
 
 object SessionResult {
-  trait SessionValue[T] extends SessionResult[T] {
+  sealed trait SessionValue[T] extends SessionResult[T] {
     def session: T
     def toOption: Option[T] = Some(session)
   }
-  trait NoSessionValue[T] extends SessionResult[T] {
+  sealed trait NoSessionValue[T] extends SessionResult[T] {
     def toOption: Option[T] = None
   }
 

Original file line number	Diff line number	Diff line change
`@@ -207,11 +207,11 @@ sealed trait SessionResult[+T] {`
`207`	`207`	`}`
`208`	`208`
`209`	`209`	`object SessionResult {`
`210`		`- trait SessionValue[T] extends SessionResult[T] {`
	`210`	`+ sealed trait SessionValue[T] extends SessionResult[T] {`
`211`	`211`	`def session: T`
`212`	`212`	`def toOption: Option[T] = Some(session)`
`213`	`213`	`}`
`214`		`- trait NoSessionValue[T] extends SessionResult[T] {`
	`214`	`+ sealed trait NoSessionValue[T] extends SessionResult[T] {`
`215`	`215`	`def toOption: Option[T] = None`
`216`	`216`	`}`
`217`	`217`