[TIR][FEAT] Require DeclBuffer before use in verify_well_formed#18840

tqchen wants to merge 1 commit intoapache:mainapache/tvm:mainfrom

tqchen:require-declbuffer-before-usetqchen/tvm:require-declbuffer-before-useCopy head branch name to clipboard