Вопрос C #

В следующем классе есть два метода, в котором M1 жалуется «Не все код код возвращает значение», а M2 не так.

Вопрос: Как компилятор разрешает M2 в контексте возвращаемого значения? Насколько экземпляр NotimplementedException неявно отличается как int (если есть какие-либо внутренние сроки компиляции)

class A
        {
            int M1()
            {
            }
            int M2()
            {
                throw new NotImplementedException();
            }
        }