❔ how can i tell analyzer that function will always throw? - C#