While at the gun store last Saturday. I saw a couple of Winchester 22 caliber autoloaders, tube fed rifles.
I didn’t look for the model numbers. They appear too be fairly new models maybe 1980’s-1990’s vintages.
My guess would be 18”-20” barrels and have kind of a more squared off edge around the frames. Unlike the more rounded Remington or Marlin 22 autoloader frame edge. What model do you think they may be?