[20:42:41] Hi, in mw core, what's the best way to handle receiving a nullable type when you know it can't be null? In my case, I know that a redirect is a double redirect, but `redirectLookup->getRedirectTarget` is still returning a nullable type. I could cast it to the non-nullable version of the type, but I'm not sure if that's the best way [20:56:20] you mean in the context of getting Phan warnings about it? or something else? [20:57:31] generally, i would wrote something like: `if ( $whatever === null ) { throw new LogicException( "Whatever was null, this should be impossible" ); }` and then Phan will be able to assume that $whatever is non-null, and won't warn you about it [20:57:51] (and if it ever is null, even thought it shouldn't be, then you'll get a useful error message out of it) [21:01:00] that's what I was looking for, thank you!