Discord.Net/docs/guides/entities/samples/safety-cast-var.cs

IUser user;

// Here we can pre-define the actual declaration of said IGuildUser object,
// so we dont need to cast additionally inside of the statement.
if (user is IGuildUser guildUser)
{
    Console.WriteLine(guildUser.JoinedAt);
}
// Check failed.