Concatenación en tiempo de compilación de C # para constantes de cadena

¿C # hace alguna optimización en tiempo de compilación para la concatenación de cadenas constantes? Si es así, ¿cómo se debe escribir mi código para aprovechar esto?

Ejemplo: ¿Cómo se comparan estos en el tiempo de ejecución?

Console.WriteLine("ABC" + "DEF");

const string s1 = "ABC";
Console.WriteLine(s1 + "DEF");

const string s1 = "ABC";
const string s2 = s1 + "DEF";
Console.WriteLine(s2);

Respuestas a la pregunta(2)

Su respuesta a la pregunta