propertySemantics

import std.typecons;

struct S
{
	int m;
	@property int rp()
	{
		return m;
	}

	@property void wp(int)
	{
	}

	@property int rwp()
	{
		return m;
	}

	@property void rwp(int)
	{
	}
}

static assert(!__traits(compiles, propertySemantics!(S, "na")));
static assert(!__traits(compiles, propertySemantics!(S, "m")));

static assert(propertySemantics!(S, "rp") == tuple!("canRead", "canWrite")(true, false));
static assert(propertySemantics!(S, "wp") == tuple!("canRead", "canWrite")(false, true));
static assert(propertySemantics!(S, "rwp") == tuple!("canRead", "canWrite")(true, true));