analyses and compiles with no errors. The completer != null check inside the closure promotes completer even though it's assigned outside of the closure. I think that's actually sound, because the ...