Source position: pasresolver.pp line 1037
public TPasClassOrRecordScope.DefaultProperty : TPasProperty;