var user = GetUser(); if (user is Manager manager) { Console.WriteLine($"User is a manager and has {manager.Reports.Count} direct reports!"); }