Add annotation support for trait methods and verify that implementations satisfy them#25

coeff-aij wants to merge 3 commits intocoord-e:maincoord-e/thrust:mainfrom

coeff-aij:annot-preds-traitcoeff-aij/thrust:annot-preds-traitCopy head branch name to clipboard