result { root_default: initial; root_implicit: inner; root_explicit: inner; local_explicit: inner; }