More or less. It is also important to flush the divergent error out of `context.errors`, otherwise even after supressing it can show up again at a higher level of the nested implicit search.