lukecarbis/woocommerce — comment on commit 646d0e36ada5f8a80c01dd4d7c0d3024c2f2ff5c
File: widgets/widget-price_filter.php line 61
By lukecarbis:

If it's a product (and not a variation), add it to matched products.