tree: 15dffa584dfb52f195563f12f7a9ffa674afcb30
  1. min_specialization.rs