If you study the heat pump adoption in various European countries, you will quickly notice that it's connected to the price ratio between electricity and gas.
The EU has a carbon tax on electricity but not gas. This pushes people towards gas heating. Germany has much higher taxes on electricity, although it does at least have a carbon tax on gas.
If a carbon tax on electricity makes people use gas heating, that's carbon leakage.