session: remove now-unnecessary lint #[allow]s
#102356
+0
−52
Merged