permanent type completion