User defined attributes use

[Namespace]

On Monday, 16 September 2013 at 15:47:36 UTC, ilya-stromberg 
wrote:
> On Monday, 16 September 2013 at 15:12:05 UTC, Maxim Fomin wrote:
>> On Monday, 16 September 2013 at 10:29:12 UTC, matovitch wrote:
>>> All your examples are great, thank you ! Is there a way to 
>>> omit validate such that the compiler would call it implicitly 
>>> ?
>>>
>>> For example :
>>>
>>> class C {
>>> ...
>>> }
>>>
>>> void fun(@nonNull C c) {
>>> ...
>>> };
>>>
>>> C c;
>>> fun(c);  //compilation error since C is null
>>
>> No, this isn't doable with UDAs because what you want requires 
>> runtime check. It is doable using other language features.
>
> It's intresting how can I check that pointer is not null at the 
> compile time. Can you print a example, please?
> I know that we can use contract programming, but it requires 
> runtime check.

That isn't possible. ;)