pub trait BareStepWidgetExt { // Required method fn bare_step(&self, path: &[LiveId]) -> BareStepRef; }