On Wed, 2019-12-18 at 16:02 +0100, Jouke Witteveen wrote: > Your se_implicit test case got left out of your commit. I guess this > was unintentional.
I'm not sure what you mean? It's there...? > Presumably, the test case was based on [SV 54161]. The bug can now be > closed. Yes, will do that later.
