In the Basalt Delta biome, the layer near the surface of the lava lake cannot generate gravel.
Bedrock:
Java: