Mushroom and gnocchi bake

Name: Mushroom and gnocchi bake
Prep time: 5 min
Cook time: 30 min
Total time: 35 min
Cuisine: European, Italian, Mediterranean
Ingredients: 3 garlic cloves; 3 rosemary sprigs; 4 rashers pancetta (optional); 200g mixed mushrooms, such as chestnut, button or Portobello; olive oil; 400g tin plum tomatoes; 400g pack fresh potato gnocchi; 15g Parmesan, plus extra to serve (optional); 2 tbsp pesto