implicitly converting to a SpecPart should probably not trigger an "auto-example"