More specific/stronger MemberExpression for compile time checking?

Consider the GetPropertyName method in the code sample below:

using System;
using System.Linq.Expressions;

namespace SampleApp
{
    public class Program
    {
        public static void Main()
        {
            var name = GetPropertyName<Box, string>(b => b.Position);

            Console.WriteLine(name);
        }

        private static string GetPropertyName<T, TP>(Expression<Func<T, TP>> exp)
        {
            var memberExpression = exp.Body as MemberExpression;

            return memberExpression == null ? null : memberExpression.Member.Name;
        }
    }

    public class Box
    {
        public string Position { get; set; }
    }
}

Is there any way of making that method's parameter so specific that it wouldn't compile unless a get+set property is being passed? Something like this:

private static string GetPropertyName<T, TP>(PropertyExpression<T, TP>> exp) {}

... to fix situations like this at compile time:

var name = GetPropertyName<Box, string>(b => "AAA");

PS: will Roslyn fix this situation?

PPS: context: implementing a strict internal DSL.