D语言在预先条件的块中

import std.stdio; 
import std.string;

bool isValid(string password) 
in { 
   assert(password.length>=5); 
}

body { 
   // other conditions 
   return true; 
}

void main() { 
   writeln(isValid("password")); 
}