Dostál zatím za Kometu v extralize nenastoupil a v minulém ročníku vedle juniorského týmu Brna chytal i za Třebíč. Má na kontě v první lize 20 utkání s průměrem 2,43 obdržené branky a úspěšností zákroků 92,08 procenta. Také udržel dvakrát čisté konto.
Na šampionátu osmnáctek měl v pěti duelech průměr 3,34 a úspěšnost 90,54 procenta.