Code

Expand ObjectArgument#1509

Code

Merged

hannobraun merged 6 commits intomainhannobraun/fornjot:mainfrom builderhannobraun/fornjot:builderCopy head branch name to clipboardJan 13, 2023

+80-12

Commits

Commits on Jan 13, 2023

• Make name of associated type more specific

  hannobraun

  committed
  081f742

• Split ObjectArgument implementation for arrays

  Show description for 06ec480
  hannobraun

  committed
  06ec480

• Add ObjectArgument::SizePlusOne

  hannobraun

  committed
  932cedf

• Add ObjectArgument::map_plus_one

  hannobraun

  committed
  8e8c26d

• Add comment

  hannobraun

  committed
  e04f42b

• Add ObjectArgument::num_objects

  hannobraun

  committed
  6b201ff