Provide context_def_id from FunctionData#140

JonasAlaif wants to merge 1 commit intomainprusti/pcg:mainfrom

function-data-contextprusti/pcg:function-data-contextCopy head branch name to clipboard